org.kiama.example.prolog

SymbolTable

object SymbolTable extends Environments

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

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
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. abstract class Entity extends AnyRef

    Definition Classes
    Environments

  2. type Environment = Stack[Scope]

    Definition Classes
    Environments

  3. trait ErrorEntity extends Entity

    Definition Classes
    Environments

  4. trait Named extends AnyRef

    Definition Classes
    Environments

  5. trait NamedEntity extends Entity with Named

    Definition Classes
    Environments

  6. case class Predicate(argtypes: List[Type]) extends Entity with Product with Serializable

    A predicate entity and its argument type constraints.

  7. type Scope = Map[String, Entity]

    Definition Classes
    Environments

  8. abstract class Type extends AnyRef

    The type of a predicate argument.

  9. 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: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. object AtomType extends Type with Product with Serializable

    The atom type.

  7. object IntegerType extends Type with Product with Serializable

    The integer type.

  8. object ListType extends Type with Product with Serializable

    The list type.

  9. object MultipleEntity extends Entity with ErrorEntity with Product with Serializable

    Definition Classes
    Environments

  10. object UnknownEntity extends Entity with ErrorEntity with Product with Serializable

    Definition Classes
    Environments

  11. object UnknownType extends Type with Product with Serializable

    A type that is unknown.

  12. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  13. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  14. def define(env: Environment, i: String, e: Entity): Environment

    Definition Classes
    Environments

  15. def enter(env: Environment): Environment

    Definition Classes
    Environments

  16. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  17. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  18. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  19. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  20. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  21. def isDefinedInEnv(env: Environment, i: String): Boolean

    Definition Classes
    Environments

  22. def isDefinedInInner(env: Environment, i: String): Boolean

    Definition Classes
    Environments

  23. def isDefinedInOuter(env: Environment, i: String): Boolean

    Definition Classes
    Environments

  24. def isDefinedInScope(scope: Scope, i: String): Boolean

    Definition Classes
    Environments

  25. def isDefinedInScope(env: Environment, i: String): Boolean

    Definition Classes
    Environments

  26. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  27. def leave(env: Environment): Environment

    Definition Classes
    Environments

  28. def lookup(env: Environment, i: String, e: Entity, scope: Boolean): Entity

    Definition Classes
    Environments

  29. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  30. final def notify(): Unit

    Definition Classes
    AnyRef

  31. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  32. def resetEnvironments: Unit

    Definition Classes
    Environments

  33. def rootenv(bindings: (String, Entity)*): Environment

    Definition Classes
    Environments

  34. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  35. def toString(): String

    Definition Classes
    AnyRef → Any

  36. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  37. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  38. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Environments

Inherited from AnyRef

Inherited from Any

No Group