Uses of Class
astra.type.Type

Packages that use Type

Package	Description
astra.term
astra.type

Uses of Type in astra.term

Methods in astra.term that return Type

Modifier and Type	Method	Description
Type	AtIndex.type()
Type	Brackets.type()
Type	Count.type()
Type	FormulaTerm.type()
Type	FromJson.type()
Type	Funct.type()
Type	Head.type()
Type	ListSplitter.type()
Type	ListTerm.type()
Type	ModuleTerm.type()
Type	NullTerm.type()
Type	Operator.type()
Type	Performative.type()
Type	Primitive.type()
Type	QueryTerm.type()
Type	Tail.type()
Type	Term.type()
Type	ToJson.type()
Type	Variable.type()

Constructors in astra.term with parameters of type Type

Constructor	Description
AtIndex(Term term, Term index, Type type)
Head(Term term, Type type)
ModuleTerm(String module, Type type, Predicate method, ModuleTermAdaptor adaptor)
Operator(char op, Type type, Term left, Term right)
Primitive(Type type, T value)
Variable(Type type, int key)
Variable(Type type, String name)
Variable(Type type, String name, boolean returns)

Uses of Type in astra.type

Subclasses of Type in astra.type

Modifier and Type	Class	Description
class	ObjectType

Fields in astra.type declared as Type

Modifier and Type	Field	Description
static Type	Type.BOOLEAN
static Type	Type.CHAR
static Type	Type.DOUBLE
static Type	Type.FLOAT
static Type	Type.FORMULA
static Type	Type.FUNCTION
static Type	Type.INTEGER
static Type	Type.LIST
static Type	Type.LONG
static Type	Type.OBJECT
static Type	Type.PERFORMATIVE
static Type	Type.STRING

Methods in astra.type that return Type

Modifier and Type	Method	Description
static Type	Type.getMostGeneralType(Type type, Type type2)
static Type	Type.getType(Object obj)

Methods in astra.type with parameters of type Type

Modifier and Type	Method	Description
static Term	Type.defaultValue(Type type)
boolean	Type.equals(Type type)
static Type	Type.getMostGeneralType(Type type, Type type2)
static boolean	Type.isNumeric(Type type)