Interface JTestCondition

All Known Implementing Classes:

JTestCondition.Constraint, JTestCondition.InferConstraint, JTestCondition.Instantiation, JTestCondition.InstantiationConstraint, JTestCondition.Status, JTestCondition.ThrowsConstraint

public interface JTestCondition

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	JTestCondition.Branch
static final record	JTestCondition.Constraint
static final record	JTestCondition.InferConstraint
static final record	JTestCondition.Instantiation
static final record	JTestCondition.InstantiationConstraint
static enum	JTestCondition.Op
static final record	JTestCondition.Result
static final record	JTestCondition.Status
static final record	JTestCondition.ThrowsConstraint
static final record	JTestCondition.Wrapper

Field Summary

Fields

Modifier and Type	Field	Description
static final Map<String, Class<? extends JTestCondition>>	SUBTYPE_KEYS

Method Summary

Modifier and Type	Method	Description
JTestCondition.Result	test(honeyroasted.jype.system.JTypeSystem system, honeyroasted.almonds.ConstraintTree tree)

Field Details

SUBTYPE_KEYS

static final Map<String, Class<? extends JTestCondition>> SUBTYPE_KEYS

Method Details

test

JTestCondition.Result test(honeyroasted.jype.system.JTypeSystem system,
 honeyroasted.almonds.ConstraintTree tree)