Class Strategy

java.lang.Object

ca.mcscert.jpipe.model.elements.Strategy

All Implemented Interfaces:

CommonElement, ElementView, JustificationElement

public final class Strategy
extends Object
implements CommonElement

A reasoning strategy connecting evidence to a conclusion.

Constructor Summary

Constructors

Constructor	Description
Strategy(String id, String label)

Method Summary

Modifier and Type	Method	Description
void	addSupport(SupportLeaf supporter)
List<SupportLeaf>	getSupports()
String	id()	Unique identifier of this element within its containing model.
String	label()	Human-readable display label.
void	replaceSupport(SupportLeaf oldSupport, SupportLeaf newSupport)	Replaces oldSupport with newSupport in the list of supporters.
String	toString()

Methods inherited from class Object

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

Methods inherited from interface JustificationElement

accept

Constructor Details

Strategy

public Strategy(String id,
 String label)

Method Details

id

public String id()

Description copied from interface: ElementView

Unique identifier of this element within its containing model.

Specified by:

id in interface ElementView

label

public String label()

Description copied from interface: ElementView

Human-readable display label.

Specified by:

label in interface ElementView

addSupport

public void addSupport(SupportLeaf supporter)

getSupports

public List<SupportLeaf> getSupports()

replaceSupport

public void replaceSupport(SupportLeaf oldSupport,
 SupportLeaf newSupport)

Replaces oldSupport with newSupport in the list of supporters.

toString

public String toString()

Overrides:

toString in class Object