Class Conclusion

java.lang.Object

ca.mcscert.jpipe.model.elements.Conclusion

All Implemented Interfaces:

CommonElement, ElementView, JustificationElement, StrategyBacked

public final class Conclusion
extends Object
implements CommonElement, StrategyBacked

The top-level conclusion that a justification aims to establish.

Constructor Summary

Constructors

Constructor	Description
Conclusion(String id, String label)

Method Summary

Modifier and Type	Method	Description
void	addSupport(Strategy supporter)
Optional<Strategy>	getSupport()
String	id()
String	kind()	The kebab-case name of this element's kind, as used in user-facing output: conclusion, sub-conclusion, strategy, evidence, abstract-support.
String	label()
String	toString()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface ElementView

id, label

Methods inherited from interface JustificationElement

accept

Methods inherited from interface StrategyBacked

addSupport, getSupport

Constructor Details

Conclusion

public Conclusion(String id,
 String label)

Method Details

kind

public String kind()

Description copied from interface: JustificationElement

The kebab-case name of this element's kind, as used in user-facing output: conclusion, sub-conclusion, strategy, evidence, abstract-support.

Specified by:

kind in interface JustificationElement

Returns:

the kind name of this element.

id

public String id()

label

public String label()

addSupport

public void addSupport(Strategy supporter)

getSupport

public Optional<Strategy> getSupport()

toString

public String toString()

Overrides:

toString in class Object