org.kiama.example.iswim.secd

SECDBase

object SECDBase

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. SECDBase
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. case class App() extends Instruction with Product with Serializable

  2. case class AppCC() extends Instruction with Product with Serializable

    Continuation handling

  3. case class BindPrims(nms: List[Name]) extends Instruction with Product with Serializable

  4. abstract class ByteCode extends ByteCodeBase with Attributable with Positional

  5. abstract class ByteCodeBase extends driver.PrettyPrinter.PrettyPrintable

  6. type Code = List[Instruction]

  7. case class CodeSegment(code: Code) extends ByteCode with Product with Serializable

  8. class CodeTree extends ByteCodeBase

    Code segments (sequences).

  9. case class Enter(nms: List[Name]) extends Instruction with Product with Serializable

  10. abstract class ExceptionValue extends Value with Positional

    Exception types

  11. case class Exit() extends Instruction with Product with Serializable

  12. case class FunctionSpec(fn: Option[Name], pn: Name, bdy: CodeSegment) extends ByteCode with Product with Serializable

    Function closures and calls

  13. case class GetType() extends Instruction with Product with Serializable

    Get the type of the value on the top of the stack as an integer.

  14. abstract class Instruction extends ByteCode

  15. case class Lookup(nm: Name) extends Instruction with Product with Serializable

    Lookup named variable in the environment

  16. abstract class MachineExceptionValue extends ExceptionValue

  17. case class MkClosures(fss: List[FunctionSpec]) extends Instruction with Product with Serializable

  18. case class MkUserException() extends Instruction with Product with Serializable

    Make a new exception object from a string object and push it on the stack

  19. type Name = String

    Type aliases for code sequences and names

  20. case class PushEmpty() extends Instruction with Product with Serializable

    Push empty value / machine exception / type value onto the stack.

  21. case class PushMachineException(me: MachineExceptionValue) extends Instruction with Product with Serializable

  22. case class PushType(ty: TypeValue) extends Instruction with Product with Serializable

  23. case class RaiseException() extends Instruction with Product with Serializable

    Raise the exception on the top of the stack

  24. case class Resume() extends Instruction with Product with Serializable

  25. case class ResumeFromDump() extends Instruction with Product with Serializable

  26. case class TailApp() extends Instruction with Product with Serializable

  27. abstract class TypeValue extends Value

    Type values

  28. abstract class Value extends AnyRef

    Base class for SECD values.

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 ClosureTypeValue extends TypeValue with Product with Serializable

  7. object CodeSegment extends Serializable

  8. object CodeTree

  9. object ContTypeValue extends TypeValue with Product with Serializable

  10. object DumpEmpty extends MachineExceptionValue with Product with Serializable

  11. object EmptyTypeValue extends TypeValue with Product with Serializable

  12. object ExceptionTypeValue extends TypeValue with Product with Serializable

  13. object MalformedInstruction extends MachineExceptionValue with Product with Serializable

  14. object MatchError extends MachineExceptionValue with Product with Serializable

  15. object NonExistentPrimitive extends MachineExceptionValue with Product with Serializable

  16. object PrimTypeValue extends TypeValue with Product with Serializable

  17. object StackUnderflow extends MachineExceptionValue with Product with Serializable

  18. object TypeError extends MachineExceptionValue with Product with Serializable

  19. object TypeTypeValue extends TypeValue with Product with Serializable

  20. object UnboundVariable extends MachineExceptionValue with Product with Serializable

  21. object UnexpectedExit extends MachineExceptionValue with Product with Serializable

  22. object UnexpectedTermination extends MachineExceptionValue with Product with Serializable

  23. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  24. def clone(): AnyRef

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

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

    Definition Classes
    AnyRef

  26. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  27. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

  29. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  30. val instNumber: (ByteCode) ⇒ Int

    Attribute mechanism for automatically numbering bytecode instructions

  31. implicit def instToCodeTree(inst: Instruction): CodeTree

    Annotations
    @inline()

  32. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    AnyRef

  34. val nextInstNumber: (ByteCode) ⇒ Int

  35. final def notify(): Unit

    Definition Classes
    AnyRef

  36. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  37. def positionBlock[T](newPos: Position)(code: ⇒ T): T

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

    Definition Classes
    AnyRef

  39. implicit def toCodeSegment(bcb: ByteCodeBase): CodeSegment

    Annotations
    @inline()

  40. def toString(): String

    Definition Classes
    AnyRef → Any

  41. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from AnyRef

Inherited from Any

No Group