Uses of Class
ca.mcscert.jpipe.model.elements.Conclusion
Packages that use Conclusion
-
Uses of Conclusion in ca.mcscert.jpipe.model
Methods in ca.mcscert.jpipe.model that return types with arguments of type ConclusionModifier and TypeMethodDescriptionJustificationModel.conclusion()Returns the conclusion, if one has been set.Methods in ca.mcscert.jpipe.model with parameters of type ConclusionModifier and TypeMethodDescriptionvoidJustificationModel.setConclusion(Conclusion conclusion) Sets the single required conclusion. -
Uses of Conclusion in ca.mcscert.jpipe.visitor
Methods in ca.mcscert.jpipe.visitor with parameters of type ConclusionModifier and TypeMethodDescriptionDotExporter.visit(Conclusion conclusion) JpipeExporter.visit(Conclusion conclusion) JsonExporter.visit(Conclusion conclusion) JustificationVisitor.visit(Conclusion conclusion) NoOpJustificationVisitor.visit(Conclusion conclusion) PythonExporter.visit(Conclusion conclusion)