com.veromodo.tempo.sem
Class CheckLeftValue

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTHVisitor
      extended by com.veromodo.tempo.sem.CheckLeftValue
All Implemented Interfaces:
ASTIVisitor

public class CheckLeftValue
extends ASTHVisitor

This class is a Left Value Pattern Matcher Given an ASTExpr, determines if the expression is a possible left value

Author:
Carleton

Field Summary
 boolean _lValue
           
 
Constructor Summary
CheckLeftValue()
           
 
Method Summary
 void applyASTDerefArray(ASTDerefArray n)
           
 void applyASTDerefField(ASTDerefField n)
           
 void applyASTExprId(ASTExprId n)
           
 boolean check(ASTExpr n)
           
 
Methods inherited from class com.veromodo.tempo.ast.ASTHVisitor
applyASTAction, applyASTActionFormal, applyASTActionFormalConst, applyASTActionFormalName, applyASTActionFormalTypedIdList, applyASTActionSet, applyASTActual, applyASTActualExpr, applyASTActualType, applyASTAdd, applyASTAnd, applyASTAssignment, applyASTAutomaton, applyASTBackwardSim, applyASTBasicAutomaton, applyASTBinary, applyASTBinOp, applyASTBlock, applyASTCall, applyASTChoose, applyASTComponent, applyASTComponentDef, applyASTComponentInst, applyASTCompositeAutomaton, applyASTCond, applyASTDecl, applyASTDeclFields, applyASTDeclFun, applyASTDeclLocals, applyASTDeclScheduleLocal, applyASTDeclVar, applyASTDeclVocabulary, applyASTDefType, applyASTDiv, applyASTEffect, applyASTEqual, applyASTEquiv, applyASTExpr, applyASTExprLiteral, applyASTFire, applyASTFireInput, applyASTFireInternal, applyASTFireOutput, applyASTFloatLiteral, applyASTFollow, applyASTForClause, applyASTForLoop, applyASTFormal, applyASTForwardSim, applyASTGEqual, applyASTGreater, applyASTIdentifier, applyASTIdOrNum, applyASTIfThen, applyASTIfThenElse, applyASTImply, applyASTIntLiteral, applyASTInvariant, applyASTLEqual, applyASTLess, applyASTList, applyASTListActionFormal, applyASTListActionSet, applyASTListActual, applyASTListComponent, applyASTListDeclFuns, applyASTListDeclLocals, applyASTListDeclScheduleLocal, applyASTListDefType, applyASTListFields, applyASTListFormal, applyASTListFormula, applyASTListId, applyASTListIdOrNum, applyASTListName, applyASTListOperatorSignature, applyASTListProofUsing, applyASTListRoot, applyASTListSignature, applyASTListSimProofEntry, applyASTListStartEntry, applyASTListState, applyASTListStatement, applyASTListTask, applyASTListTrajectories, applyASTListTrajRef, applyASTListTransition, applyASTListType, applyASTListVocabRef, applyASTLiteral, applyASTMixCBraceOp, applyASTMSGInvoke, applyASTMSGInvokeInput, applyASTMSGInvokeInternal, applyASTMSGInvokeOutput, applyASTMul, applyASTNDRChoose, applyASTNDRFire, applyASTNDRFireInput, applyASTNDRFireInternal, applyASTNDRFireOutput, applyASTNDRFollow, applyASTNDRIfThen, applyASTNDRIfThenElse, applyASTNDRWhile, applyASTNDRYield, applyASTNeg, applyASTNEqual, applyASTNode, applyASTNot, applyASTNotation, applyASTNotationFun, applyASTNotationInfix, applyASTNotationInfixRight, applyASTNotationITE, applyASTNotationMixBracket, applyASTNotationMixCBrace, applyASTNotationMixFix, applyASTNotationPrefix, applyASTNotationSuffix, applyASTOperator, applyASTOperatorSignature, applyASTOr, applyASTPost, applyASTPow, applyASTProofFire, applyASTProofFollow, applyASTProofIfThen, applyASTProofIfThenElse, applyASTProofStatement, applyASTProofUsing, applyASTProofWhile, applyASTQExist, applyASTQForall, applyASTQuantified, applyASTRoot, applyASTRootDeclFuns, applyASTRootDeclTypes, applyASTRootDeclVocab, applyASTRootVocabRef, applyASTSchedule, applyASTSetof, applyASTSignature, applyASTSimProof, applyASTSimProofAction, applyASTSimProofEntry, applyASTSimulation, applyASTStartEntry, applyASTState, applyASTStatement, applyASTSub, applyASTTask, applyASTTrajectory, applyASTTrajEntry, applyASTTrajRef, applyASTTransEntry, applyASTTransition, applyASTTupleConstructor, applyASTType, applyASTTypeAlias, applyASTTypeEnum, applyASTTypeFunction, applyASTTypeGeneric, applyASTTypeId, applyASTTypeParameter, applyASTTypeSelector, applyASTTypeTuple, applyASTTypeUnion, applyASTUnary, applyASTVocabRef, applyASTWhile
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_lValue

public boolean _lValue
Constructor Detail

CheckLeftValue

public CheckLeftValue()
Method Detail

check

public boolean check(ASTExpr n)

applyASTExprId

public void applyASTExprId(ASTExprId n)
Specified by:
applyASTExprId in interface ASTIVisitor
Overrides:
applyASTExprId in class ASTHVisitor

applyASTDerefArray

public void applyASTDerefArray(ASTDerefArray n)
Specified by:
applyASTDerefArray in interface ASTIVisitor
Overrides:
applyASTDerefArray in class ASTHVisitor

applyASTDerefField

public void applyASTDerefField(ASTDerefField n)
Specified by:
applyASTDerefField in interface ASTIVisitor
Overrides:
applyASTDerefField in class ASTHVisitor