Constructor and Description |
---|
AnalysisAdapter() |
public void caseTString(TString node)
caseTString
in interface Analysis
public void caseTTypeofOpen(TTypeofOpen node)
caseTTypeofOpen
in interface Analysis
public void caseTTypeofClose(TTypeofClose node)
caseTTypeofClose
in interface Analysis
public void caseTTruncatedSetSize(TTruncatedSetSize node)
caseTTruncatedSetSize
in interface Analysis
public void caseTNotsubseteq(TNotsubseteq node)
caseTNotsubseteq
in interface Analysis
public void caseTNotsubset(TNotsubset node)
caseTNotsubset
in interface Analysis
public void caseTSubseteq(TSubseteq node)
caseTSubseteq
in interface Analysis
public void caseTSetminus(TSetminus node)
caseTSetminus
in interface Analysis
public void caseTDotdot(TDotdot node)
caseTDotdot
in interface Analysis
public void caseTDotdotdot(TDotdotdot node)
caseTDotdotdot
in interface Analysis
public void caseTEmptyset(TEmptyset node)
caseTEmptyset
in interface Analysis
public void caseTBcmsuch(TBcmsuch node)
caseTBcmsuch
in interface Analysis
public void caseTBfalse(TBfalse node)
caseTBfalse
in interface Analysis
public void caseTForall(TForall node)
caseTForall
in interface Analysis
public void caseTExists(TExists node)
caseTExists
in interface Analysis
public void caseTMapsto(TMapsto node)
caseTMapsto
in interface Analysis
public void caseTBtrue(TBtrue node)
caseTBtrue
in interface Analysis
public void caseTSubset(TSubset node)
caseTSubset
in interface Analysis
public void caseTBunion(TBunion node)
caseTBunion
in interface Analysis
public void caseTBinter(TBinter node)
caseTBinter
in interface Analysis
public void caseTDomres(TDomres node)
caseTDomres
in interface Analysis
public void caseTRanres(TRanres node)
caseTRanres
in interface Analysis
public void caseTDomsub(TDomsub node)
caseTDomsub
in interface Analysis
public void caseTRansub(TRansub node)
caseTRansub
in interface Analysis
public void caseTLambda(TLambda node)
caseTLambda
in interface Analysis
public void caseTOftype(TOftype node)
caseTOftype
in interface Analysis
public void caseTNotin(TNotin node)
caseTNotin
in interface Analysis
public void caseTCprod(TCprod node)
caseTCprod
in interface Analysis
public void caseTUnion(TUnion node)
caseTUnion
in interface Analysis
public void caseTInter(TInter node)
caseTInter
in interface Analysis
public void caseTFcomp(TFcomp node)
caseTFcomp
in interface Analysis
public void caseTBcomp(TBcomp node)
caseTBcomp
in interface Analysis
public void caseTStrel(TStrel node)
caseTStrel
in interface Analysis
public void caseTDprod(TDprod node)
caseTDprod
in interface Analysis
public void caseTPprod(TPprod node)
caseTPprod
in interface Analysis
public void caseTBcmeq(TBcmeq node)
caseTBcmeq
in interface Analysis
public void caseTBcmin(TBcmin node)
caseTBcmin
in interface Analysis
public void caseTMinus(TMinus node)
caseTMinus
in interface Analysis
public void caseTLbrace(TLbrace node)
caseTLbrace
in interface Analysis
public void caseTRbrace(TRbrace node)
caseTRbrace
in interface Analysis
public void caseTIdentifierLiteral(TIdentifierLiteral node)
caseTIdentifierLiteral
in interface Analysis
public void caseTAnyChar(TAnyChar node)
caseTAnyChar
in interface Analysis
public void caseTWhitespace(TWhitespace node)
caseTWhitespace
in interface Analysis
public void caseTSeparator(TSeparator node)
caseTSeparator
in interface Analysis
public void defaultCase(Node node)