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

Packages that use AssumeAction

edu.ksu.cis.projects.bogor.ast	Provides for Bogor input language AST.
edu.ksu.cis.projects.bogor.ast.transform
edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.

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

Methods in edu.ksu.cis.projects.bogor.ast that return AssumeAction

AssumeAction

AssumeAction.clone() Clones this object (deep clone); including location info.

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

protected void

ASTVisitor.visitAssumeAction(AssumeAction node)

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

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

protected void

HighToLowBIRCompiler.visitAssumeAction(AssumeAction node)

Uses of AssumeAction in edu.ksu.cis.projects.bogor.module

Methods in edu.ksu.cis.projects.bogor.module with parameters of type AssumeAction

IBacktrackingInfo	DefaultActionTaker.takeAssumeAction(AssumeAction a, IIntValue value)
IBacktrackingInfo	IActionTaker.takeAssumeAction(AssumeAction a, IIntValue value)
protected IBacktrackingInfo	DefaultActionTaker.visitAssumeAction(AssumeAction node)