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

Packages that use LockTestExp

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.

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

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

LockTestExp

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

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

protected void

ASTVisitor.visitLockTestExp(LockTestExp node)

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

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

protected void	ConstIntExpEvaluator.ConstIntExpEnforcer.visitLockTestExp(LockTestExp node)
protected void	ExpChecker.visitLockTestExp(LockTestExp node) Type checks a lock test.
protected void	LegalInitialValueChecker.visitLockTestExp(LockTestExp node)

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

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

protected void	HighToLowAtomicExpCompiler.visitLockTestExp(LockTestExp node)
protected void	HighToLowNonAtomicExpCompiler.visitLockTestExp(LockTestExp node)

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

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

protected IValue

DefaultExpEvaluator.evaluateLockTestExp(LockTestExp e)