Uses of Class
edu.ksu.cis.projects.bogor.ast.ASTVisitor

Packages that use ASTVisitor

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

Uses of ASTVisitor in edu.ksu.cis.projects.bogor.analyses

Subclasses of ASTVisitor in edu.ksu.cis.projects.bogor.analyses

class

LocalVariablesCollector

Uses of ASTVisitor in edu.ksu.cis.projects.bogor.ast

Methods in edu.ksu.cis.projects.bogor.ast with parameters of type ASTVisitor

void	ASTArrayType.visit(ASTVisitor visitor)
void	ASTBooleanType.visit(ASTVisitor visitor)
void	ASTDoubleType.visit(ASTVisitor visitor)
void	ASTExtType.visit(ASTVisitor visitor)
void	ASTFloatType.visit(ASTVisitor visitor)
void	ASTFunType.visit(ASTVisitor visitor)
void	ASTIntRangeType.visit(ASTVisitor visitor)
void	ASTIntType.visit(ASTVisitor visitor)
void	ASTLockType.visit(ASTVisitor visitor)
void	ASTLongRangeType.visit(ASTVisitor visitor)
void	ASTLongType.visit(ASTVisitor visitor)
void	ASTStringType.visit(ASTVisitor visitor)
void	ASTThreadIdType.visit(ASTVisitor visitor)
void	ActionExtension.visit(ASTVisitor visitor)
void	ActionStatement.visit(ASTVisitor visitor)
void	ApplyExp.visit(ASTVisitor visitor)
void	ArrayAccessExp.visit(ASTVisitor visitor)
void	AssertAction.visit(ASTVisitor visitor)
void	AssignAction.visit(ASTVisitor visitor)
void	AssumeAction.visit(ASTVisitor visitor)
void	AtomicActionStatement.visit(ASTVisitor visitor)
void	AtomicExp.visit(ASTVisitor visitor)
void	AtomicStatement.visit(ASTVisitor visitor)
void	BinaryExp.visit(ASTVisitor visitor)
void	BlockStatement.visit(ASTVisitor visitor)
void	BlockTransformation.visit(ASTVisitor visitor)
void	BooleanConstant.visit(ASTVisitor visitor)
void	BooleanLiteral.visit(ASTVisitor visitor)
void	CastExp.visit(ASTVisitor visitor)
void	Catch.visit(ASTVisitor visitor)
void	ChooseStatement.visit(ASTVisitor visitor)
void	ConditionalExp.visit(ASTVisitor visitor)
void	ConstantDefinition.visit(ASTVisitor visitor)
void	DoubleConstant.visit(ASTVisitor visitor)
void	DoubleLiteral.visit(ASTVisitor visitor)
void	EnumDefinition.visit(ASTVisitor visitor)
void	ExitThreadAction.visit(ASTVisitor visitor)
void	ExpAction.visit(ASTVisitor visitor)
void	ExpExtension.visit(ASTVisitor visitor)
void	ExtExp.visit(ASTVisitor visitor)
void	ExtensionDefinition.visit(ASTVisitor visitor)
void	FSM.visit(ASTVisitor visitor)
void	Field.visit(ASTVisitor visitor)
void	FieldAccessExp.visit(ASTVisitor visitor)
void	FloatConstant.visit(ASTVisitor visitor)
void	FloatLiteral.visit(ASTVisitor visitor)
void	Fun.visit(ASTVisitor visitor)
void	Global.visit(ASTVisitor visitor)
void	GotoNextState.visit(ASTVisitor visitor)
void	IdExp.visit(ASTVisitor visitor)
void	IdPrintArg.visit(ASTVisitor visitor)
void	IdType.visit(ASTVisitor visitor)
void	IfStatement.visit(ASTVisitor visitor)
void	InitialValue.visit(ASTVisitor visitor)
void	InstanceofExp.visit(ASTVisitor visitor)
void	IntConstant.visit(ASTVisitor visitor)
void	IntLiteral.visit(ASTVisitor visitor)
void	InvokeAction.visit(ASTVisitor visitor)
void	InvokeExp.visit(ASTVisitor visitor)
void	InvokeTransformation.visit(ASTVisitor visitor)
void	KindofExp.visit(ASTVisitor visitor)
void	LetExp.visit(ASTVisitor visitor)
void	LiteralExp.visit(ASTVisitor visitor)
void	LiveSet.visit(ASTVisitor visitor)
void	Local.visit(ASTVisitor visitor)
void	Location.visit(ASTVisitor visitor)
void	LockAction.visit(ASTVisitor visitor)
void	LockTestExp.visit(ASTVisitor visitor)
void	LongConstant.visit(ASTVisitor visitor)
void	LongLiteral.visit(ASTVisitor visitor)
void	NewArrayExp.visit(ASTVisitor visitor)
void	NewLockExp.visit(ASTVisitor visitor)
void	NewRecordExp.visit(ASTVisitor visitor)
abstract void	Node.visit(ASTVisitor visitor)
void	NullLiteral.visit(ASTVisitor visitor)
void	Param.visit(ASTVisitor visitor)
void	ParenExp.visit(ASTVisitor visitor)
void	PrintAction.visit(ASTVisitor visitor)
void	RecordDefinition.visit(ASTVisitor visitor)
void	ReturnNextState.visit(ASTVisitor visitor)
void	ReturnStatement.visit(ASTVisitor visitor)
void	SkipStatement.visit(ASTVisitor visitor)
void	StartThreadExp.visit(ASTVisitor visitor)
void	StringConstant.visit(ASTVisitor visitor)
void	StringLiteral.visit(ASTVisitor visitor)
void	StringPrintArg.visit(ASTVisitor visitor)
void	System.visit(ASTVisitor visitor)
void	ThreadTestExp.visit(ASTVisitor visitor)
void	ThrowAction.visit(ASTVisitor visitor)
void	TryCatchStatement.visit(ASTVisitor visitor)
void	TypeAliasDefinition.visit(ASTVisitor visitor)
void	TypeExtension.visit(ASTVisitor visitor)
void	TypedId.visit(ASTVisitor visitor)
void	UnaryExp.visit(ASTVisitor visitor)
void	VirtualTableDefinition.visit(ASTVisitor visitor)
void	WhileStatement.visit(ASTVisitor visitor)

Uses of ASTVisitor in edu.ksu.cis.projects.bogor.ast.checker

Subclasses of ASTVisitor in edu.ksu.cis.projects.bogor.ast.checker

class	ConstIntExpEvaluator Utility class to evaluate a very simple "const" or literal integer expression.
protected class	ConstIntExpEvaluator.ConstIntExpEnforcer
class	ExpChecker This class is used to deduce the type of expressions.
class	LegalInitialValueChecker Type description here.
class	LiveSetChecker Install a calculated live variable set on any thread control point for which no liveset was explicitly written.
class	StatementTerminaChecker Visitor to determine if every exiting branch from a statement eventually performs a return.

Uses of ASTVisitor in edu.ksu.cis.projects.bogor.ast.transform

Subclasses of ASTVisitor in edu.ksu.cis.projects.bogor.ast.transform

class	HighToLowAtomicExpCompiler Compiler to produce code more efficient than HighToLowNonAtomicExpCompiler.
protected class	HighToLowAtomicExpCompiler.InvocationDetector
class	HighToLowBIRCompiler System transformer which convert a high-level, automatically sequenced statement-based FSMs into a low-level, location-based FSMs.
class	HighToLowNonAtomicExpCompiler Compiler to produce low-level BIR control points for evaluating expressions.