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	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

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