SECDBase

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 PrettyPrintable

6. case class ClosureTypeValue() extends TypeValue with Product with Serializable

7. type Code = List[Instruction]

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

9. class CodeTree extends ByteCodeBase

   Code segments (sequences).

10. case class ContTypeValue() extends TypeValue with Product with Serializable

11. case class DumpEmpty() extends MachineExceptionValue with Product with Serializable

12. case class EmptyTypeValue() extends TypeValue with Product with Serializable

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

14. case class ExceptionTypeValue() extends TypeValue with Product with Serializable

15. abstract class ExceptionValue extends Value with Positional

    Exception types

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

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

    Function closures and calls

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

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

19. abstract class Instruction extends ByteCode

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

    Lookup named variable in the environment

21. abstract class MachineExceptionValue extends ExceptionValue

22. case class MalformedInstruction() extends MachineExceptionValue with Product with Serializable

23. case class MatchError() extends MachineExceptionValue with Product with Serializable

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

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

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

26. type Name = String

    Type aliases for code sequences and names

27. case class NonExistentPrimitive() extends MachineExceptionValue with Product with Serializable

28. case class PrimTypeValue() extends TypeValue with Product with Serializable

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

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

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

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

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

    Raise the exception on the top of the stack

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

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

35. case class StackUnderflow() extends MachineExceptionValue with Product with Serializable

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

37. case class TypeError() extends MachineExceptionValue with Product with Serializable

38. case class TypeTypeValue() extends TypeValue with Product with Serializable

39. abstract class TypeValue extends Value

    Type values

40. case class UnboundVariable() extends MachineExceptionValue with Product with Serializable

41. case class UnexpectedExit() extends MachineExceptionValue with Product with Serializable

42. case class UnexpectedTermination() extends MachineExceptionValue with Product with Serializable

43. abstract class Value extends AnyRef

    Base class for SECD values.