Package hlt.language.design.kernel

Class Summary

Class	Description
Abstraction	This class represents λ-calculus abstractions.
And
AndOr
Application	This class represents functional applications à la λ-calculus.
ArrayExtension	This is the class denoting an array literal - i.e., expressions enumerating elements that comprise the extension of an array or map.
ArrayInitializer	This is the class for a special kind of expressions used essentially for initializing an array with a specified dimension vector from an expression that evaluates to an array whose dimension vectors is almost identical to that of the specified one.
ArraySlot
ArraySlotUpdate	This is the class of array slot update expressions.
ArrayToMap	This constructs enables the conversion from a (possibly mutidimensional) array to a indexed map as long as the base type and the number of dimensions agree.
Assignment	This class is the mother class of assignment expressions.
BuiltinObjectConstant	This is the class of native java objects that are built-in constants.
Char	This is the class of character constants.
Compiler	This is the class defining a compiler object.
Comprehension	This class represents a monoid comprehension whose actual form is interpreted as a construct involving the parts of the syntactic form of the comprehension.
Comprehension.IndexedExpression
Constant
Definition
Dummy
DummyAssignment	This class is the class of dummy assignment expressions.
DummyLocal	This is a Local that does not actually belong within its scope and need never be sort-sanitized nor compiled.
Enclosure	An Enclosure is the stack of scopes that are enclosing a given subexpression.
ExitWithValue	This class is the type of expressions used to exit non-locally from - i.e., other than "falling off" its end of - an exitable Abstraction.
Expression	This class is the mother of all expressions in the kernel language.
FieldUpdate	This class is the class of field update expressions.
FilterHomomorphism	This is a refinement of the Homomorphism class using a filter in the form of a boolean function sifting those elements of the collection on which to apply the function.
Global
GlobalAssignment	This class is the class of global assignment expressions.
HideType	This kernel expression is used on an expression and defined opaque type, such that the expression's type is the definition of the defined opaque type.
Homomorphism	This is the class of objects denoting (monoid) homomorphisms.
IfThenElse
Int	This is the class of integer constants.
Let
Local
LocalAssignment	This class is the class of local assignment expressions.
Loop	This class is the class of conditional looping expressions.
NamedTuple	This is the class representing tuples whose components are identified by field names.
NewArray	This is the class denoting arrays.
NewBag	This is the class denoting bags.
NewCollection	This is an abstract class for collection-denoting values.
NewList	This is the class denoting lists.
NewObject	This is the class of 'new' object expressions.
NewSet	This is the class denoting sets.
OpenType	This kernel expression is used on an expression whose type is a defined opaque type.
Or
Parameter
ParameterStack
ProtoExpression	This class factors out implementation that's common to all expressions.
Real	This is the class of real number constants.
Sanitizer
Scope	This class represents a scope for local variables.
Sequence	This class is the class of sequences of expressions.
StringConstant	This is the class of string constants.
Tuple	This is the class of tuple expressions whose components are identified by position.
TupleFieldName	This class extends LexComparableStrings to represent named tuple field names.
TupleProjection	This is the class of tuple projection expressions.
TupleUpdate	This is the class of expressions for updating tuple components.
UndecidedExpression	This class denotes an expression as a yet undecided choice between two expressions.

Exception Summary

Exception	Description
AssignmentErrorException
DefinitionException
NoSuchSubexpressionException
UndefinedEqualityException