Package software.coley.sourcesolver.model

Class AssertStatementModel

java.lang.Object

software.coley.sourcesolver.model.AbstractModel

software.coley.sourcesolver.model.AbstractStatementModel

software.coley.sourcesolver.model.AssertStatementModel

All Implemented Interfaces:

Model

public class AssertStatementModel
extends AbstractStatementModel

Constructor Summary

Constructors

Constructor	Description
AssertStatementModel(Range range, AbstractExpressionModel condition, AbstractExpressionModel detail)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
AbstractExpressionModel	getCondition()
AbstractExpressionModel	getDetail()
int	hashCode()
String	toString()

Methods inherited from class software.coley.sourcesolver.model.AbstractModel

getChildren, getParent, getRange, resolveAt

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface software.coley.sourcesolver.model.Model

getChildAtPosition, getParentOfType, getRecursiveChildrenOfType, getSource, isChildOf, isParentOf, resolve, visit

Constructor Details

AssertStatementModel

public AssertStatementModel(@Nonnull
 Range range,
 @Nonnull
 AbstractExpressionModel condition,
 @Nullable
 AbstractExpressionModel detail)

Method Details

getCondition

@Nonnull
public AbstractExpressionModel getCondition()

getDetail

@Nullable
public AbstractExpressionModel getDetail()

equals

public boolean equals(Object o)

Specified by:

equals in class AbstractModel

hashCode

public int hashCode()

Specified by:

hashCode in class AbstractModel

toString

public String toString()

Overrides:

toString in class Object