Uses of Interface
org.ek9lang.compiler.symbols.ConstraintExpr

Packages that use ConstraintExpr

Package	Description
org.ek9lang.compiler.phase5	I - PRE Intermediate Representation generation checks.
org.ek9lang.compiler.support	Contains critical general components used in the Ek9Compiler listeners.
org.ek9lang.compiler.symbols	This is the main source of EK9 Symbols used within the compiler.

Uses of ConstraintExpr in org.ek9lang.compiler.phase5

Methods in org.ek9lang.compiler.phase5 that return ConstraintExpr

Modifier and Type	Method	Description
ConstraintExpr	ConstrainedConstructionResolver.Site.constraint()	Returns the value of the constraint record component.

Constructors in org.ek9lang.compiler.phase5 with parameters of type ConstraintExpr

Modifier	Constructor	Description
(package private)	Site(AggregateSymbol constrainedType, ConstraintExpr constraint, ISymbol argSymbol)	Creates an instance of a Site record class.

Uses of ConstraintExpr in org.ek9lang.compiler.support

Methods in org.ek9lang.compiler.support with parameters of type ConstraintExpr

Modifier and Type	Method	Description
CompileTimeConstraintEvaluator.Verdict	CompileTimeConstraintEvaluator.evaluate(String subjectText, String subjectTypeFqn, ConstraintExpr constraint)	Evaluate the constraint against a constant subject.

Uses of ConstraintExpr in org.ek9lang.compiler.symbols

Classes in org.ek9lang.compiler.symbols that implement ConstraintExpr

Modifier and Type	Class	Description
static final record	ConstraintExpr.Combination	A boolean combination of two constraints.
static final record	ConstraintExpr.Comparison	A leaf: the implicit subject value compared against a literal via operator (default ==; != normalised to <>, matching phase 3 / IR lowering).

Methods in org.ek9lang.compiler.symbols that return ConstraintExpr

Modifier and Type	Method	Description
ConstraintExpr	AggregateSymbol.getConstraint()	The constraint model for a CLASS_CONSTRAINED aggregate, or null if none/not modellable.
ConstraintExpr	ConstraintExpr.Combination.left()	Returns the value of the left record component.
ConstraintExpr	ConstraintExpr.Combination.right()	Returns the value of the right record component.

Methods in org.ek9lang.compiler.symbols with parameters of type ConstraintExpr

Modifier and Type	Method	Description
void	AggregateSymbol.setConstraint(ConstraintExpr constraint)

Constructors in org.ek9lang.compiler.symbols with parameters of type ConstraintExpr

Modifier	Constructor	Description
	Combination(String booleanOp, ConstraintExpr left, ConstraintExpr right)	Creates an instance of a Combination record class.