Uses of Interface
ca.mcscert.jpipe.visitor.JustificationVisitor
Packages that use JustificationVisitor
-
Uses of JustificationVisitor in ca.mcscert.jpipe.model
Methods in ca.mcscert.jpipe.model with parameters of type JustificationVisitorModifier and TypeMethodDescriptionfinal <R> RJustificationModel.accept(JustificationVisitor<R> visitor) <R> RUnit.accept(JustificationVisitor<R> visitor) protected <R> RJustification.visitSelf(JustificationVisitor<R> visitor) protected abstract <R> RJustificationModel.visitSelf(JustificationVisitor<R> visitor) protected <R> RTemplate.visitSelf(JustificationVisitor<R> visitor) -
Uses of JustificationVisitor in ca.mcscert.jpipe.model.elements
Methods in ca.mcscert.jpipe.model.elements with parameters of type JustificationVisitorModifier and TypeMethodDescriptiondefault <R> RJustificationElement.accept(JustificationVisitor<R> visitor) -
Uses of JustificationVisitor in ca.mcscert.jpipe.visitor
Classes in ca.mcscert.jpipe.visitor that implement JustificationVisitorModifier and TypeClassDescriptionclassAbstract base for exporters that serialise a singleJustificationModelto text.classSerialises a singleJustificationModelto Graphviz DOT text, ready to be compiled bydot.classSerialises a compiled jPipe model back to.jdsource text conforming to the jPipe grammar.classSerialises a singleJustificationModelto JSON text.classConvenience base class for visitors that only need to handle a subset of the model hierarchy.classSerialises a singleJustificationModelto a Python module: each element becomes a decorated function named after the element's label (snake_case viaLabelEscaper).