o

org.kiama.example.prolog

SymbolTable

object SymbolTable extends Environments

Symbol table module containing facilities for creating and manipulating expression language symbol information.

Source
SymbolTable.scala
Linear Supertypes
Environments, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SymbolTable
  2. Environments
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class AtomType () extends Type with Product with Serializable

    The atom type.

  2. type Environment = List[Scope]
    Definition Classes
    Environments
  3. case class IntegerType () extends Type with Product with Serializable

    The integer type.

  4. case class ListType () extends Type with Product with Serializable

    The list type.

  5. trait Named extends AnyRef
    Definition Classes
    Environments
  6. trait NamedEntity extends Entity with Named
    Definition Classes
    Environments
  7. case class Predicate (argtypes: Seq[Type]) extends Entity with Product with Serializable

    A predicate entity and its argument type constraints.

  8. type Scope = Map[String, Entity]
    Definition Classes
    Environments
  9. abstract class Type extends AnyRef

    The type of a predicate argument.

  10. case class UnknownType () extends Type with Product with Serializable

    A type that is unknown.

  11. case class Variable (tipe: Type) extends Entity with Product with Serializable

    A variable entity including the type constraint that we know so far.

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. def define(env: Environment, i: String, e: Entity): Environment
    Definition Classes
    Environments
  7. def enter(env: Environment): Environment
    Definition Classes
    Environments
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  12. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  13. def isDefinedInEnv(env: Environment, i: String): Boolean
    Definition Classes
    Environments
  14. def isDefinedInInner(env: Environment, i: String): Boolean
    Definition Classes
    Environments
  15. def isDefinedInOuter(env: Environment, i: String): Boolean
    Definition Classes
    Environments
  16. def isDefinedInScope(scope: Scope, i: String): Boolean
    Definition Classes
    Environments
  17. def isDefinedInScope(env: Environment, i: String): Boolean
    Definition Classes
    Environments
  18. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  19. def leave(env: Environment): Environment
    Definition Classes
    Environments
  20. def lookup(env: Environment, i: String, e: Entity, scope: Boolean): Entity
    Definition Classes
    Environments
  21. val nameCounter: Counter
    Definition Classes
    Environments
  22. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. final def notify(): Unit
    Definition Classes
    AnyRef
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  25. def resetEnvironments(): Unit
    Definition Classes
    Environments
  26. def rootenv(bindings: (String, Entity)*): Environment
    Definition Classes
    Environments
  27. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  28. def toString(): String
    Definition Classes
    AnyRef → Any
  29. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Environments

Inherited from AnyRef

Inherited from Any

Ungrouped