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.support.inputvariety
org.ek9lang.compiler.symbolic
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, ISymbol constructorParamType)	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, String promoteToTypeFqn, ConstraintExpr constraint)	As above, but first applies the type's #^ PROMOTION when the argument's own type is not the constrained base type.
CompileTimeConstraintEvaluator.Verdict	CompileTimeConstraintEvaluator.evaluate(String subjectText, String subjectTypeFqn, ConstraintExpr constraint)	Evaluate the constraint against a constant subject.

Uses of ConstraintExpr in org.ek9lang.compiler.support.inputvariety

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

Modifier and Type	Method	Description
(package private) int	EquivalenceClassModel.admissibleClassCount(String baseSimpleName, String baseFqn, ConstraintExpr constraint)	How many of baseSimpleName's value-classes the constraint admits — the name-keyed core of EquivalenceClassModel.constrainedVariety(IAggregateSymbol), package-private so it is unit-testable without constructing symbols (the same split as EquivalenceClassModel.varietyOf(String, String)).

Uses of ConstraintExpr in org.ek9lang.compiler.symbolic

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

Modifier and Type	Method	Description
List<String>	ConstraintValueSearch.admissibleValues(String baseTypeFqn, ConstraintExpr constraint)	Values of baseTypeFqn that provably satisfy constraint, most useful first, or an empty list when probing found none.
static boolean	ConstraintSatisfiability.admitsNoValue(String baseTypeFqn, ConstraintExpr constraint)	Whether no value of baseTypeFqn can possibly satisfy constraint.
static Set<String>	ConstraintLiterals.distinctSuffixes(ConstraintExpr expr)	Every distinct non-empty suffix the constraint's literals carry, in first-seen order.
static String	ConstraintSatisfiability.whyNoValue(String baseTypeFqn, ConstraintExpr constraint)	A human-readable proof for the error message, or null when the constraint is not provably empty.
static long[]	ConstraintWindows.windowOf(ConstraintExpr constraint)	The inclusive numeric window [lo,hi] an Integer constraint narrows to, or null when it is not a decidable numeric window.

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
static String	ConstraintExpr.render(ConstraintExpr expr)	THE rendering of a constraint back to its EK9 source form — >= 16 and <= 100.
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.