Package org.problets.domain.model.control.abstraction

Class Summary
Block Processes a block of code, automatically ends scope upon exiting.
CPPProgram To model a C++ program
CProgram To model a C program
CSProgram To model a C# program that handles ONLY imperative constructs (i.e., template does not contain a class declaration).
Function Processes a function, which is a "callable" block.
JProgram To model a Java program that handles ONLY imperative constructs (i.e., template does not contain a class declaration).
Program Processes a program consisting of one or more functions, and accounts for partial referencing environments of global variables.
Scope Models a scope object.
Statement Processes ONE statement, creates activation record for it.
StatementSequence Processes a sequence of statements which are NOT enclosed in braces, creates activation record for them.
VBProgram To model a VB program