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