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

Packages that use Location

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.parser	Provides parser for Bogor input language.
edu.ksu.cis.projects.bogor.symboltable	Provides for Bogor symbol table.

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

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

Location	Location.clone() Clones this object (deep clone); including location info.
Location	FSM.getLocation(int index) Gets the location at a specified index.
Location	LiveSet.getParent() Gets the parent of this object.
Location	Transformation.getParent() Gets the parent of this object.

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

void	LiveSet.setParent(Location newParent) Sets the parent of this object.
void	Transformation.setParent(Location newParent) Sets the parent of this object.
protected void	ASTVisitor.visitLocation(Location node)

Method parameters in edu.ksu.cis.projects.bogor.ast with type arguments of type Location

void	FSM.setLocations(List<Location> newLocations) Sets the location.

Constructor parameters in edu.ksu.cis.projects.bogor.ast with type arguments of type Location

FSM(FSM.DeclarationKeyword keyword, boolean active, Exp optionalNumActiveExp, boolean main, String id, ArrayList<Param> params, ASTType optionalReturnType, List<Local> locals, List<Location> locations, List<Catch> catches, Statement statement)
Internal constructor.

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

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

protected void

LiveSetChecker.visitLocation(Location node)

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

Fields in edu.ksu.cis.projects.bogor.ast.transform with type parameters of type Location

protected ArrayList<Location>

HighToLowBIRCompiler.locs

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

void	HighToLowBIRCompiler.addLocation(Location loc)

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

Methods in edu.ksu.cis.projects.bogor.module that return Location

protected Location	DefaultCounterExampleWriter.GuidedSearcherProxy.getLocation(int locDesc) [Document Pending]
protected Location	DefaultSearcher.getLocation(int locDesc)
protected Location	DefaultSearcher.getLocation(IState state, int threadId)
Location	IStateAugmenter.getPropertyAutomatonState(FSM automaton, IState s)

Uses of Location in edu.ksu.cis.projects.bogor.parser

Methods in edu.ksu.cis.projects.bogor.parser that return Location

Location

BogorParser.Location()

Uses of Location in edu.ksu.cis.projects.bogor.symboltable

Methods in edu.ksu.cis.projects.bogor.symboltable that return Location

Location

SymbolTable.getLocation(int locDesc)

Methods in edu.ksu.cis.projects.bogor.symboltable that return types with arguments of type Location

Map<String,Location>

FSMSymbolTable.getLocationDefTable() Gets the location identifier (String) to its definition (Location) mapping.