|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use edu.ksu.cis.projects.bogor.ast | |
|---|---|
| edu.ksu.cis.projects.bogor | Provides for Bogor command-line interface (CLI) and configuration. |
| edu.ksu.cis.projects.bogor.analyses | Provides for Bogor modules. |
| edu.ksu.cis.projects.bogor.ast | Provides for Bogor input language AST. |
| edu.ksu.cis.projects.bogor.ast.checker | Provides for Bogor AST checker. |
| edu.ksu.cis.projects.bogor.ast.transform | |
| edu.ksu.cis.projects.bogor.module | Provide a generic framework for dataflow analysis on BIR transition systems. |
| edu.ksu.cis.projects.bogor.module.backtrack | Provides types and factories for "undo" operations. |
| edu.ksu.cis.projects.bogor.module.throwable | Provides for Bogor throwables. |
| edu.ksu.cis.projects.bogor.module.value | Provides for Bogor values. |
| edu.ksu.cis.projects.bogor.parser | Provides parser for Bogor input language. |
| edu.ksu.cis.projects.bogor.symboltable | Provides for Bogor symbol table. |
| edu.ksu.cis.projects.bogor.type | Provides for Bogor types. |
| Classes in edu.ksu.cis.projects.bogor.ast used by edu.ksu.cis.projects.bogor | |
|---|---|
| System
The compilation unit for a BIR document. |
|
| Classes in edu.ksu.cis.projects.bogor.ast used by edu.ksu.cis.projects.bogor.analyses | |
|---|---|
| Action
The top level class for action AST. |
|
| ASTVisitor
This class provides a visitor pattern on the AST. |
|
| BlockTransformation
Block transformation AST. |
|
| IdExp
Id exp AST. |
|
| InvokeTransformation
Invoke transformation AST. |
|
| NextState
The top level class for next state AST. |
|
| Node
Top level class for any AST class. |
|
| Classes in edu.ksu.cis.projects.bogor.ast used by edu.ksu.cis.projects.bogor.ast | |
|---|---|
| AbstractLocal
AbstractLocal AST. |
|
| Action
The top level class for action AST. |
|
| ActionExtension
Represents an action extension. |
|
| ActionStatement
The action statement AST. |
|
| ApplyExp
Apply exp AST. |
|
| ArrayAccessExp
Array access exp AST. |
|
| AssertAction
Assert action AST. |
|
| AssignAction
Assign action AST. |
|
| AssumeAction
Assume action AST. |
|
| ASTArrayType
Array type AST. |
|
| ASTBooleanType
Boolean type AST. |
|
| ASTDoubleType
Double type AST. |
|
| ASTExtType
Extension Type AST. |
|
| ASTFloatType
Float type AST. |
|
| ASTFunType
Functional type AST. |
|
| ASTIntRangeType
Int range type AST. |
|
| ASTIntType
Int type AST. |
|
| ASTLockType
Lock type AST. |
|
| ASTLongRangeType
Long range type AST. |
|
| ASTLongType
Long type AST. |
|
| ASTStringType
String type AST. |
|
| ASTThreadIdType
Thread id type AST. |
|
| ASTType
Top level class for type AST. |
|
| ASTVisitor
This class provides a visitor pattern on the AST. |
|
| AtomicActionStatement
The atomic (shorthand) action statement AST. |
|
| AtomicExp
Atomic exp AST. |
|
| AtomicStatement
The atomic statement AST. |
|
| BinaryExp
Binary exp AST. |
|
| BinaryOp
This class contains the definition of binary operators. |
|
| BlockStatement
The block (sequence of statements) statement AST. |
|
| BlockTransformation
Block transformation AST. |
|
| BooleanConstant
Boolean constant AST. |
|
| BooleanLiteral
Boolean literal AST. |
|
| CastExp
Cast exp AST. |
|
| Catch
Catch AST. |
|
| ChooseStatement
The choose statement AST. |
|
| ConditionalExp
Binary exp AST. |
|
| Constant
The top level class for constant AST. |
|
| ConstantDefinition
Constant definition AST. |
|
| Definition
The top level class for definition AST. |
|
| DoubleConstant
Double constant AST |
|
| DoubleLiteral
Double literal AST |
|
| EnumDefinition
Enum definition AST. |
|
| ExitThreadAction
Assert action AST. |
|
| Exp
The top level class for exp AST. |
|
| ExpAction
Exp action AST. |
|
| ExpExtension
Represents an exp extension. |
|
| Extension
The top level class for extension AST. |
|
| ExtensionDefinition
Extension definition AST. |
|
| ExtExp
Represents an action or an exp extension usage. |
|
| Field
Syntax tree node for field declarations inside a record type. |
|
| FieldAccessExp
Field access exp AST. |
|
| FloatConstant
Float constant AST |
|
| FloatLiteral
Float literal AST |
|
| FSM
FSM AST. |
|
| FSM.DeclarationKeyword
|
|
| Fun
Fun AST. |
|
| Global
The top level class for global AST. |
|
| GotoNextState
Goto next state AST |
|
| IActionParent
The interface for an action parent AST. |
|
| IdExp
Id exp AST. |
|
| IdPrintArg
Id print argument AST. |
|
| IdType
Id type AST |
|
| IExpParent
This interface is used to indicate a class that has Exp as one of its children. |
|
| IfStatement
The if statement AST. |
|
| IInitialValueParent
Type description here. |
|
| ILiteralParent
This interface is used to indicate a class that has Literal as one of its children. |
|
| INextStateParent
This interface is used to indicate a class that has NextState as one of its children. |
|
| InitialValue
An initial value of a local or global variable, along with an optional type coercion to make it compatible with the variable declaration. |
|
| InstanceofExp
Instanceof exp AST. |
|
| IntConstant
Int constant AST |
|
| IntLiteral
Int literal AST |
|
| InvokeAction
Node for stand-alone function invocation used in high-level BIR. |
|
| InvokeExp
Invoke exp AST. |
|
| InvokeTransformation
Invoke transformation AST. |
|
| IStatementParent
The top level interface for a statement's parent AST. |
|
| ITypedIdParent
This interface is used to indicate a class that has TypedId as one of its children. |
|
| ITypeParent
This interface is used to indicate a class that has ASTType as one of its children. |
|
| KindofExp
Kindof exp AST. |
|
| LetExp
Let exp AST. |
|
| Literal
The top level class for literal AST. |
|
| LiteralExp
Literal exp AST. |
|
| LiveSet
Live set AST. |
|
| Local
|
|
| Location
Location AST. |
|
| LocationInfo
This class is used to store location information in a file. |
|
| LockAction
Lock action AST. |
|
| LockOp
This class contains the definition of lock operators. |
|
| LockTestExp
Lock test exp AST. |
|
| LockTestOp
This class contains the definition of lock operators. |
|
| LongConstant
Long constant AST |
|
| LongLiteral
Long literal AST |
|
| LValueExp
LHS interface used to indicate whether a class is an LHS or not. |
|
| NewArrayExp
New array exp AST. |
|
| NewLockExp
New lock exp AST. |
|
| NewRecordExp
New record exp AST. |
|
| NextState
The top level class for next state AST. |
|
| Node
Top level class for any AST class. |
|
| NullLiteral
Null literal AST |
|
| NumericallyNegatableLiteral
Tagging interface used to indicate an AST node which stands for some literal (either from the Literal or Constant
inheritance hierarchies) which contains a numerical value
which could be negated. |
|
| Param
Formal parameter to a FSM definition. |
|
| ParenExp
Parenthesis exp AST. |
|
| PrintAction
Print action AST. |
|
| PrintArg
The top level class for print argument AST. |
|
| Radix
Enumerated type to provide specific handling of numerical literals from various bases. |
|
| RecordDefinition
Record definition AST. |
|
| ReturnNextState
Return next state AST |
|
| ReturnStatement
The return statement AST. |
|
| SkipStatement
The skip statement AST. |
|
| StartThreadExp
Start thread AST. |
|
| Statement
The top level class for statement AST. |
|
| StringConstant
String constant AST |
|
| StringLiteral
String literal AST |
|
| StringPrintArg
String print argument AST. |
|
| System
The compilation unit for a BIR document. |
|
| System.DeclarationKeyword
|
|
| SystemMember
Top level class for a system member AST. |
|
| ThreadTestExp
Thread test exp AST. |
|
| ThrowAction
Throw action AST. |
|
| Transformation
Transformation AST. |
|
| TryCatchStatement
The try-catch statement AST. |
|
| TypeAliasDefinition
Type-alias declaration AST. |
|
| TypedId
Typed id AST. |
|
| TypeExtension
Represents a type extension. |
|
| UnaryExp
Unary exp AST. |
|
| UnaryOp
This class contains the definition of unary operators and binary operators. |
|
| VirtualTableDefinition
Virtual table definition AST. |
|
| WhileStatement
The while statement AST. |
|
| Classes in edu.ksu.cis.projects.bogor.ast used by edu.ksu.cis.projects.bogor.ast.checker | |
|---|---|
| ApplyExp
Apply exp AST. |
|
| ArrayAccessExp
Array access exp AST. |
|
| ASTVisitor
This class provides a visitor pattern on the AST. |
|
| AtomicActionStatement
The atomic (shorthand) action statement AST. |
|
| AtomicExp
Atomic exp AST. |
|
| AtomicStatement
The atomic statement AST. |
|
| BinaryExp
Binary exp AST. |
|
| BlockStatement
The block (sequence of statements) statement AST. |
|
| BooleanLiteral
Boolean literal AST. |
|
| CastExp
Cast exp AST. |
|
| ChooseStatement
The choose statement AST. |
|
| ConditionalExp
Binary exp AST. |
|
| DoubleLiteral
Double literal AST |
|
| Exp
The top level class for exp AST. |
|
| ExtExp
Represents an action or an exp extension usage. |
|
| FieldAccessExp
Field access exp AST. |
|
| FloatLiteral
Float literal AST |
|
| FSM
FSM AST. |
|
| IdExp
Id exp AST. |
|
| IfStatement
The if statement AST. |
|
| InstanceofExp
Instanceof exp AST. |
|
| IntLiteral
Int literal AST |
|
| InvokeExp
Invoke exp AST. |
|
| KindofExp
Kindof exp AST. |
|
| LetExp
Let exp AST. |
|
| LiteralExp
Literal exp AST. |
|
| Location
Location AST. |
|
| LockTestExp
Lock test exp AST. |
|
| LongLiteral
Long literal AST |
|
| NewArrayExp
New array exp AST. |
|
| NewLockExp
New lock exp AST. |
|
| NewRecordExp
New record exp AST. |
|
| NullLiteral
Null literal AST |
|
| ParenExp
Parenthesis exp AST. |
|
| ReturnStatement
The return statement AST. |
|
| StartThreadExp
Start thread AST. |
|
| Statement
The top level class for statement AST. |
|
| StringLiteral
String literal AST |
|
| ThreadTestExp
Thread test exp AST. |
|
| TryCatchStatement
The try-catch statement AST. |
|
| UnaryExp
Unary exp AST. |
|
| WhileStatement
The while statement AST. |
|
| Classes in edu.ksu.cis.projects.bogor.ast used by edu.ksu.cis.projects.bogor.ast.transform | |
|---|---|
| ActionExtension
Represents an action extension. |
|
| ActionStatement
The action statement AST. |
|
| ApplyExp
Apply exp AST. |
|
| ArrayAccessExp
Array access exp AST. |
|
| AssertAction
Assert action AST. |
|
| AssignAction
Assign action AST. |
|
| AssumeAction
Assume action AST. |
|
| ASTType
Top level class for type AST. |
|
| ASTVisitor
This class provides a visitor pattern on the AST. |
|
| AtomicActionStatement
The atomic (shorthand) action statement AST. |
|
| AtomicExp
Atomic exp AST. |
|
| AtomicStatement
The atomic statement AST. |
|
| BinaryExp
Binary exp AST. |
|
| CastExp
Cast exp AST. |
|
| Catch
Catch AST. |
|
| ChooseStatement
The choose statement AST. |
|
| ConditionalExp
Binary exp AST. |
|
| Exp
The top level class for exp AST. |
|
| ExpAction
Exp action AST. |
|
| ExtensionDefinition
Extension definition AST. |
|
| ExtExp
Represents an action or an exp extension usage. |
|
| FieldAccessExp
Field access exp AST. |
|
| FSM
FSM AST. |
|
| IdExp
Id exp AST. |
|
| IfStatement
The if statement AST. |
|
| InstanceofExp
Instanceof exp AST. |
|
| InvokeAction
Node for stand-alone function invocation used in high-level BIR. |
|
| InvokeExp
Invoke exp AST. |
|
| KindofExp
Kindof exp AST. |
|
| LetExp
Let exp AST. |
|
| LiteralExp
Literal exp AST. |
|
| Local
|
|
| Location
Location AST. |
|
| LockTestExp
Lock test exp AST. |
|
| NewArrayExp
New array exp AST. |
|
| NewLockExp
New lock exp AST. |
|
| NewRecordExp
New record exp AST. |
|
| ParenExp
Parenthesis exp AST. |
|
| RecordDefinition
Record definition AST. |
|
| ReturnStatement
The return statement AST. |
|
| StartThreadExp
Start thread AST. |
|
| System
The compilation unit for a BIR document. |
|
| ThreadTestExp
Thread test exp AST. |
|
| TryCatchStatement
The try-catch statement AST. |
|
| UnaryExp
Unary exp AST. |
|
| WhileStatement
The while statement AST. |
|
| Classes in edu.ksu.cis.projects.bogor.ast used by edu.ksu.cis.projects.bogor.module | |
|---|---|
| Action
The top level class for action AST. |
|
| ApplyExp
Apply exp AST. |
|
| ArrayAccessExp
Array access exp AST. |
|
| AssertAction
Assert action AST. |
|
| AssignAction
Assign action AST. |
|
| AssumeAction
Assume action AST. |
|
| BinaryExp
Binary exp AST. |
|
| BinaryOp
This class contains the definition of binary operators. |
|
| BlockTransformation
Block transformation AST. |
|
| CastExp
Cast exp AST. |
|
| ConditionalExp
Binary exp AST. |
|
| ExitThreadAction
Assert action AST. |
|
| Exp
The top level class for exp AST. |
|
| ExpAction
Exp action AST. |
|
| ExtExp
Represents an action or an exp extension usage. |
|
| FieldAccessExp
Field access exp AST. |
|
| FSM
FSM AST. |
|
| IdExp
Id exp AST. |
|
| InstanceofExp
Instanceof exp AST. |
|
| InvokeTransformation
Invoke transformation AST. |
|
| KindofExp
Kindof exp AST. |
|
| LetExp
Let exp AST. |
|
| Literal
The top level class for literal AST. |
|
| LiteralExp
Literal exp AST. |
|
| Location
Location AST. |
|
| LockAction
Lock action AST. |
|
| LockOp
This class contains the definition of lock operators. |
|
| LockTestExp
Lock test exp AST. |
|
| LockTestOp
This class contains the definition of lock operators. |
|
| NewArrayExp
New array exp AST. |
|
| NewRecordExp
New record exp AST. |
|
| NextState
The top level class for next state AST. |
|
| Node
Top level class for any AST class. |
|
| PrintAction
Print action AST. |
|
| StartThreadExp
Start thread AST. |
|
| ThreadTestExp
Thread test exp AST. |
|
| ThrowAction
Throw action AST. |
|
| Transformation
Transformation AST. |
|
| UnaryExp
Unary exp AST. |
|
| UnaryOp
This class contains the definition of unary operators and binary operators. |
|
| Classes in edu.ksu.cis.projects.bogor.ast used by edu.ksu.cis.projects.bogor.module.backtrack | |
|---|---|
| Action
The top level class for action AST. |
|
| InvokeTransformation
Invoke transformation AST. |
|
| LockOp
This class contains the definition of lock operators. |
|
| Node
Top level class for any AST class. |
|
| Transformation
Transformation AST. |
|
| Classes in edu.ksu.cis.projects.bogor.ast used by edu.ksu.cis.projects.bogor.module.throwable | |
|---|---|
| Node
Top level class for any AST class. |
|
| Classes in edu.ksu.cis.projects.bogor.ast used by edu.ksu.cis.projects.bogor.module.value | |
|---|---|
| Exp
The top level class for exp AST. |
|
| LockOp
This class contains the definition of lock operators. |
|
| Classes in edu.ksu.cis.projects.bogor.ast used by edu.ksu.cis.projects.bogor.parser | |
|---|---|
| Action
The top level class for action AST. |
|
| ApplyExp
Apply exp AST. |
|
| ASTFunType
Functional type AST. |
|
| ASTType
Top level class for type AST. |
|
| Catch
Catch AST. |
|
| Constant
The top level class for constant AST. |
|
| Definition
The top level class for definition AST. |
|
| Exp
The top level class for exp AST. |
|
| Extension
The top level class for extension AST. |
|
| FSM
FSM AST. |
|
| Fun
Fun AST. |
|
| Global
The top level class for global AST. |
|
| IntLiteral
Int literal AST |
|
| InvokeExp
Invoke exp AST. |
|
| LetExp
Let exp AST. |
|
| Literal
The top level class for literal AST. |
|
| LiveSet
Live set AST. |
|
| Local
|
|
| Location
Location AST. |
|
| LockOp
This class contains the definition of lock operators. |
|
| LockTestOp
This class contains the definition of lock operators. |
|
| LongLiteral
Long literal AST |
|
| LValueExp
LHS interface used to indicate whether a class is an LHS or not. |
|
| NextState
The top level class for next state AST. |
|
| Param
Formal parameter to a FSM definition. |
|
| PrintArg
The top level class for print argument AST. |
|
| StartThreadExp
Start thread AST. |
|
| Statement
The top level class for statement AST. |
|
| System
The compilation unit for a BIR document. |
|
| Transformation
Transformation AST. |
|
| TypedId
Typed id AST. |
|
| Classes in edu.ksu.cis.projects.bogor.ast used by edu.ksu.cis.projects.bogor.symboltable | |
|---|---|
| AbstractLocal
AbstractLocal AST. |
|
| ASTType
Top level class for type AST. |
|
| Extension
The top level class for extension AST. |
|
| ExtensionDefinition
Extension definition AST. |
|
| Field
Syntax tree node for field declarations inside a record type. |
|
| FSM
FSM AST. |
|
| Location
Location AST. |
|
| Node
Top level class for any AST class. |
|
| RecordDefinition
Record definition AST. |
|
| System
The compilation unit for a BIR document. |
|
| SystemMember
Top level class for a system member AST. |
|
| Transformation
Transformation AST. |
|
| TypeExtension
Represents a type extension. |
|
| VirtualTableDefinition
Virtual table definition AST. |
|
| Classes in edu.ksu.cis.projects.bogor.ast used by edu.ksu.cis.projects.bogor.type | |
|---|---|
| ASTType
Top level class for type AST. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||