Package nz.org.riskscape.engine.types
package nz.org.riskscape.engine.types
-
ClassDescriptionThe simplest type, which offers zero type checkingAn interface for
Types that are containers for other types, e.g.Represents aTypedCoverageusing Riskscape's type system.Permissive Decimal type that will convert anyNumberin to a BigDecimal viaNumber.doubleValue().A special case of a list type, which is always empty.Riskscape type that maps a set of numbers to a set of well-known strings.Type information for a first-class function being stored in a tuple (as anUntypedFunction)Riskscape Type that represents geometry, e.g.Base for aTypethat wrapsTypes.GEOMETRYto make it a more specific geometry sub-type.Permissive Integer type that will convert anyNumberin to an long integer viaNumber.longValue().This rule stops variance calculation when the java types are not compatibleRepresents a lambda expression in an unrealized function's type signature.Represents an instance of aLookupTableWraps another type to allow values to be null.Wraps a type adding some extra unit metadata, e.g.Marker interface to say that the underlying java representation of a type isComparableType that addsCoordinateReferenceSystemand an optional bounds to another type.Represents aRelationusing Riskscape's type system.Basic list type that can convert various arrays and list types to the required typeALambdaTypethat also includes the scope.Represents the simplest single-value type, e.g.Permissive struct-like type that allows a c-like struct (like a java class with only fields) to be declared with members being other riskscape types.Builder class for constructing struct types with a fluid apiA plain old string.The root interface for Riskscape's type system.Meta-class for riskscape types that allows types to be plugged in to the riskscape engine.Singleton instances of SimpleValued types to avoid needless construction TODO maybe make the constructors package level to hammer it home?TypeVisitor<T,U> A Visitor interface for descending through an arbitrary type 'tree' - the other half ofType.visit(TypeVisitor, Object).Represents any java object that has been coerced to the associated type.Type that limits value to be within a specified range.Can be one of the given values.Wrapping type that stores extra metadata along with a given type.Wrapping types add extra restrictions or metadata to a type that narrows that type.