Interface JTestConstraint

All Known Implementing Classes:

JTestConstraint.Capture, JTestConstraint.Compatible, JTestConstraint.Contains, JTestConstraint.Contradiction, JTestConstraint.Equal, JTestConstraint.ExpressionCompatible, JTestConstraint.Subtype, JTestConstraint.Throws

public interface JTestConstraint

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	JTestConstraint.Capture
static final record	JTestConstraint.Compatible
static final record	JTestConstraint.Contains
static final record	JTestConstraint.Contradiction
static final record	JTestConstraint.Equal
static final record	JTestConstraint.ExpressionCompatible
static final record	JTestConstraint.Subtype
static final record	JTestConstraint.Throws
static final record	JTestConstraint.Wrapper

Field Summary

Fields

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

Method Summary

Modifier and Type	Method	Description
Set<honeyroasted.almonds.Constraint>	resolve(honeyroasted.jype.system.JTypeSystem system)

Field Details

SUBTYPE_KEYS

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

Method Details

resolve

Set<honeyroasted.almonds.Constraint> resolve(honeyroasted.jype.system.JTypeSystem system)