public class CDLListenerImpl extends CDLBaseListener
Modifier and Type | Field and Description |
---|---|
java.util.Map<java.lang.String,java.lang.Object> |
constraint |
Constructor and Description |
---|
CDLListenerImpl(java.util.Map<java.lang.String,java.util.Map<java.lang.String,java.lang.Object>> c) |
Modifier and Type | Method and Description |
---|---|
void |
enterConstraintName(CDLParser.ConstraintNameContext ctx)
Enter a parse tree produced by
CDLParser.constraintName() . |
void |
enterContextDetails(CDLParser.ContextDetailsContext ctx)
Enter a parse tree produced by
CDLParser.contextDetails() . |
void |
enterEos(CDLParser.EosContext ctx)
Enter a parse tree produced by
CDLParser.eos() . |
void |
enterFilterName(CDLParser.FilterNameContext ctx)
Enter a parse tree produced by
CDLParser.filterName() . |
void |
enterObjName(CDLParser.ObjNameContext ctx)
Enter a parse tree produced by
CDLParser.objName() . |
void |
enterProposition(CDLParser.PropositionContext ctx)
Enter a parse tree produced by
CDLParser.proposition() . |
void |
enterSetPredicate(CDLParser.SetPredicateContext ctx)
Enter a parse tree produced by
CDLParser.setPredicate() . |
java.util.Map<java.lang.String,ConstraintFormula> |
gencfMap(java.util.Map<java.lang.String,java.util.Map<java.lang.String,java.lang.Object>> constraintMap) |
java.util.Map<java.lang.String,java.lang.Object> |
generateConstraint() |
enterAcqName, enterAcquireQuery, enterActName, enterAttrName, enterAttrValue, enterConstraint, enterControlflowPredicate, enterCtxAct, enterCtxOmap, enterCtxProc, enterCtxRes, enterCtxVmap, enterEntityName, enterEvaluatePredicate, enterEveryRule, enterFuncName, enterNegation, enterObjectName, enterObjValue, enterOmap, enterPredicate, enterProcName, enterRelationalPredicate, enterResName, enterTruthValue, enterUnaryPredicate, enterUnaryPredicateName, enterValidatePredicate, enterVarName, enterVmap, exitAcqName, exitAcquireQuery, exitActName, exitAttrName, exitAttrValue, exitConstraint, exitConstraintName, exitContextDetails, exitControlflowPredicate, exitCtxAct, exitCtxOmap, exitCtxProc, exitCtxRes, exitCtxVmap, exitEntityName, exitEos, exitEvaluatePredicate, exitEveryRule, exitFilterName, exitFuncName, exitNegation, exitObjectName, exitObjName, exitObjValue, exitOmap, exitPredicate, exitProcName, exitProposition, exitRelationalPredicate, exitResName, exitSetPredicate, exitTruthValue, exitUnaryPredicate, exitUnaryPredicateName, exitValidatePredicate, exitVarName, exitVmap, visitErrorNode, visitTerminal
public CDLListenerImpl(java.util.Map<java.lang.String,java.util.Map<java.lang.String,java.lang.Object>> c)
public java.util.Map<java.lang.String,java.lang.Object> generateConstraint()
public void enterConstraintName(CDLParser.ConstraintNameContext ctx)
CDLBaseListener
CDLParser.constraintName()
.
The default implementation does nothing.
enterConstraintName
in interface CDLListener
enterConstraintName
in class CDLBaseListener
ctx
- the parse treepublic void enterFilterName(CDLParser.FilterNameContext ctx)
CDLBaseListener
CDLParser.filterName()
.
The default implementation does nothing.
enterFilterName
in interface CDLListener
enterFilterName
in class CDLBaseListener
ctx
- the parse treepublic void enterContextDetails(CDLParser.ContextDetailsContext ctx)
CDLBaseListener
CDLParser.contextDetails()
.
The default implementation does nothing.
enterContextDetails
in interface CDLListener
enterContextDetails
in class CDLBaseListener
ctx
- the parse treepublic void enterObjName(CDLParser.ObjNameContext ctx)
CDLBaseListener
CDLParser.objName()
.
The default implementation does nothing.
enterObjName
in interface CDLListener
enterObjName
in class CDLBaseListener
ctx
- the parse treepublic void enterProposition(CDLParser.PropositionContext ctx)
CDLBaseListener
CDLParser.proposition()
.
The default implementation does nothing.
enterProposition
in interface CDLListener
enterProposition
in class CDLBaseListener
ctx
- the parse treepublic void enterSetPredicate(CDLParser.SetPredicateContext ctx)
CDLBaseListener
CDLParser.setPredicate()
.
The default implementation does nothing.
enterSetPredicate
in interface CDLListener
enterSetPredicate
in class CDLBaseListener
ctx
- the parse treepublic void enterEos(CDLParser.EosContext ctx)
CDLBaseListener
CDLParser.eos()
.
The default implementation does nothing.
enterEos
in interface CDLListener
enterEos
in class CDLBaseListener
ctx
- the parse treepublic java.util.Map<java.lang.String,ConstraintFormula> gencfMap(java.util.Map<java.lang.String,java.util.Map<java.lang.String,java.lang.Object>> constraintMap)