Uses of Record Class
org.ek9lang.compiler.symbolic.FunctionSummary.RequirePredicate

Packages that use FunctionSummary.RequirePredicate

Package	Description
org.ek9lang.compiler.symbolic

Uses of FunctionSummary.RequirePredicate in org.ek9lang.compiler.symbolic

Methods in org.ek9lang.compiler.symbolic that return types with arguments of type FunctionSummary.RequirePredicate

Modifier and Type	Method	Description
List<FunctionSummary.RequirePredicate>	RequirePredicateReader.read(org.antlr.v4.runtime.tree.ParseTree constructCtx, List<ISymbol> callParameters, ParsedModule module)	Read every modellable require precondition in constructCtx.
List<FunctionSummary.RequirePredicate>	FunctionSummary.requires()	Returns the value of the requires record component.

Constructor parameters in org.ek9lang.compiler.symbolic with type arguments of type FunctionSummary.RequirePredicate

Modifier	Constructor	Description
	FunctionSummary(List<FunctionSummary.RequirePredicate> requires)	Creates an instance of a FunctionSummary record class.