Uses of Class
gnu.bytecode.Type
-
Packages that use Type Package Description gnu.bytecode Contains classes to generate, read, write, and print Java bytecode in the form of.class
files.gnu.expr SupportsExpression
, and various related classes need to compile programming languages.gnu.kawa.functions gnu.kawa.lispexpr gnu.kawa.reflect Contains classes to use reflection.gnu.kawa.xml gnu.mapping SupportsProcedure
, and various related classes needed at run-time by dynamically typed languages (such as Scheme and ECMAScript).gnu.xquery.lang gnu.xquery.util kawa.lang kawa.standard -
-
Uses of Type in gnu.bytecode
Subclasses of Type in gnu.bytecode Modifier and Type Class Description class
ArrayType
class
ClassType
class
ObjectType
Semi-abstract class object reference types.class
ParameterizedType
class
PrimType
class
SpecialObjectType
Used for object types that don't correspond to JVM types.class
TypeVariable
A type variable in a parameterized type.class
UninitializedType
A pseudo-type used for allocated but uninitialized objects.Fields in gnu.bytecode declared as Type Modifier and Type Field Description Type
ArrayType. elements
static Type
Type. neverReturnsType
The return type of an expression that never returns, such as a throw.Type[]
CodeAttr. stack_types
static Type[]
Type. typeArray0
Methods in gnu.bytecode that return Type Modifier and Type Method Description Type
ArrayType. getComponentType()
Type
ArrayType. getImplementationType()
Type
SpecialObjectType. getImplementationType()
Type
Type. getImplementationType()
Return Java-level implementation type.Type
UninitializedType. getImplementationType()
Type[]
Method. getParameterTypes()
Type
ArrayType. getRawType()
Type
Type. getRawType()
Return JVM-level implementation type.Type
SpecialObjectType. getRealType()
Type
Type. getRealType()
If this is a type alias, get the aliased type.Type
Method. getReturnType()
Type
Field. getType()
Type
Location. getType()
static Type
Type. getType(String name)
Find an Type with the given name, or create a new one.Type
ParameterizedType. getTypeArgumentType(int index)
Type[]
ParameterizedType. getTypeArgumentTypes()
static Type
Type. lookupType(String name)
static Type
Type. lowestCommonSharedType(Type t1, Type t2)
static Type
Type. lowestCommonSuperType(Type t1, Type t2)
Computes the common supertype Interfaces are not taken into account.static Type
Type. make(Class reflectClass)
static Type
Type. make(Class reflectClass, Type type)
Try to map java.lang.reflect.Type to gnu.bytecode.Type.Type
CodeAttr. popType()
Type
Type. promote()
Type
PrimType. promotedType()
Type
Type. promoteIfUnsigned()
static Type
Type. signatureToType(String sig)
Get a Type corresponding to the given signature string.static Type
Type. signatureToType(String sig, int off, int len)
Get a Type corresponding to the given signature string.Type
CodeAttr. topType()
Methods in gnu.bytecode with parameters of type Type Modifier and Type Method Description Field
ClassType. addField(String name, Type type)
Field
ClassType. addField(String name, Type type, int flags)
Variable
CodeAttr. addLocal(Type type)
Add a new local variable (in the current scope).Variable
CodeAttr. addLocal(Type type, String name)
Add a new local variable (in the current scope).void
AnnotationEntry. addMember(String name, Object value, Type type)
Method
ClassType. addMethod(String name, int flags, Type[] arg_types, Type return_type)
Add a method to this ClassType.Method
ClassType. addMethod(String name, Type[] arg_types, Type return_type, int flags)
Variable
Scope. addVariable(CodeAttr code, Type type, String name)
static AnnotationEntry.Value
AnnotationEntry. asAnnotationValue(Object val, Type type)
static boolean
CodeAttr. castNeeded(Type top, Type required)
int
ArrayType. compare(Type other)
int
ClassType. compare(Type other)
int
ObjectType. compare(Type other)
int
ParameterizedType. compare(Type other)
int
PrimType. compare(Type other)
int
SpecialObjectType. compare(Type other)
abstract int
Type. compare(Type other)
Return a numeric code showing "subtype" relationship: 1: if other is a pure subtype of this; 0: if has the same values; -1: if this is a pure subtype of other; -2: if they have values in common but neither is a subtype of the other; -3: if the types have no values in common.int
TypeVariable. compare(Type other)
void
Method. compile_checkcast(Type type)
void
CodeAttr. emitArrayLoad(Type element_type)
Load an element from an array.void
CodeAttr. emitArrayStore(Type element_type)
Store into an element of an array.void
CodeAttr. emitBinop(int base_code, Type type)
void
CodeAttr. emitCheckcast(Type type)
void
Type. emitConvertFromPrimitive(Type stackType, CodeAttr code)
Convert from stackType (usually PrimType) to this type.void
CodeAttr. emitDup(Type type)
void
CodeAttr. emitInstanceof(Type type)
void
CodeAttr. emitNewArray(Type element_type)
void
CodeAttr. emitNewArray(Type element_type, int dims)
Compile code to allocate a new array.void
CodeAttr. emitNot(Type type)
Compile 'not', assuming 0 or 1 is on the JVM stack.void
CodeAttr. emitPrimop(int opcode, int arg_count, Type retType)
void
CodeAttr. emitPushConstant(int val, Type type)
void
CodeAttr. emitPushDefaultValue(Type type)
Push zero or null as appropriate for the given type.void
CodeAttr. emitTryStart(boolean has_finally, Type result_type)
void
CodeAttr. fixUnsigned(Type stackType)
Method
ClassType. getDeclaredMethod(String name, Type[] arg_types)
Look for a matching method.Method[]
ClassType. getMatchingMethods(String name, Type[] paramTypes, int flags)
Method
ClassType. getMethod(String name, Type[] arg_types)
Looks for a method matching the name and types.Method
ObjectType. getMethod(String name, Type[] arg_types)
Method
SpecialObjectType. getMethod(String name, Type[] arg_types)
int
ArrayType. isCompatibleWithValue(Type valueType)
int
ClassType. isCompatibleWithValue(Type valueType)
int
Type. isCompatibleWithValue(Type valueType)
If this is the target type, is a given source type compatible?static int
Type. isCompatibleWithValue(Type targetType, Type valueType)
static boolean
Type. isMoreSpecific(Type[] t1, Type[] t2)
Return true iff t1[i].isSubtype(t2[i]) for all i.static boolean
Type. isSame(Type t1, Type t2)
boolean
Type. isSubtype(Type other)
Return true if this is a "subtype" of other.static Type
Type. lowestCommonSharedType(Type t1, Type t2)
static Type
Type. lowestCommonSuperType(Type t1, Type t2)
Computes the common supertype Interfaces are not taken into account.static ArrayType
ArrayType. make(Type elements)
Find or create an ArrayType for the specified element type.static String
Method. makeGenericSignature(Type[] arg_types, Type return_type)
static String
Method. makeSignature(Type[] arg_types, Type return_type)
void
Method. maybe_compile_checkcast(Type type)
void
CodeAttr. noteVarType(int offset, Type type)
void
ClassTypeWriter. printSignature(Type type)
void
CodeAttr. pushType(Type type)
static void
Type. registerTypeForClass(Class clas, Type type)
Register that the Type for class is type.void
Method. setReturnType(Type type)
void
Location. setType(Type type)
void
CodeAttr. setTypes(Type[] labelLocals, Type[] labelStack)
Set the current type state from a label.ExitableBlock
CodeAttr. startExitableBlock(Type resultType, boolean runFinallyBlocks)
Enter a block which can be exited.static PrimType
PrimType. unboxedType(Type type)
Constructors in gnu.bytecode with parameters of type Type Constructor Description ArrayType(Type elements)
ParameterizedType(ClassType rawType, Type... typeArgumentTypes)
Type(Type type)
Value(char kind, Type type, Object value)
Variable(String name, Type type)
-
Uses of Type in gnu.expr
Subclasses of Type in gnu.expr Modifier and Type Class Description static class
InlineCalls.LenientExpectedType
New helper Type class, used for "lenient" conversions.static class
InlineCalls.ProcedureInCallContext
static class
InlineCalls.ValueNeededType
A marker type to indicate that void is invalid.class
PairClassType
A class type implemented as a pair of an interface and a class.Fields in gnu.expr declared as Type Modifier and Type Field Description static Type[]
Compilation. apply0args
static Type[]
Compilation. apply1args
static Type[]
Compilation. apply2args
static Type[]
Compilation. applyNargs
static Type[]
Compilation. int1Args
Type
LambdaExp. returnType
If non-null, the type of values returned by this function.static Type[]
Compilation. string1Arg
static Type[]
Compilation. sym1Arg
Type
Declaration. type
The type of the value of this Declaration.protected Type
Expression. type
Type
Literal. type
Methods in gnu.expr that return Type Modifier and Type Method Description Type
Compilation. asBooleanValue(ConditionalTarget target, Type stackType)
Hook for language-specific handling in ConditionalTarget.Type
Language. asType(Object spec)
"Coerce" a language-specific "type specifier" object to a Type.protected Type
CaseExp. calculateDatumsType()
Computes the union type of the case expression datums.protected Type
ApplyExp. calculateType()
protected Type
BeginExp. calculateType()
protected Type
CaseExp. calculateType()
protected Type
ClassExp. calculateType()
The ClassType generated for this class.protected Type
ExitExp. calculateType()
protected Type
Expression. calculateType()
protected Type
IfExp. calculateType()
protected Type
LambdaExp. calculateType()
protected Type
LetExp. calculateType()
protected Type
ObjectExp. calculateType()
protected Type
QuoteExp. calculateType()
protected Type
ReferenceExp. calculateType()
protected Type
SetExp. calculateType()
protected Type
ThisExp. calculateType()
protected Type
TryExp. calculateType()
Type
Language. decodeType(Type javaType, String annotType, ParameterizedType parameterizedType)
static Type
PrimProcedure. decodeType(Type javaType, String[] annotTypes, int annotIndex, ParameterizedType parameterizedType, Language lang)
static Type
StackTarget. forceLazy(Compilation comp, Type stackType, Type type)
static Type
StackTarget. forceLazyIfNeeded(Compilation comp, Type stackType, Type type)
Type
Declaration. getImplementationType()
Type
InlineCalls.ProcedureInCallContext. getImplementationType()
Type
InlineCalls.ValueNeededType. getImplementationType()
Type
TypeValue. getImplementationType()
The lower-level Type used to represent instances of this type.Type
Language. getLangTypeFor(Type type)
Type
Language. getNamedType(String name)
Get the correspondingType
for a given name.Type
PrimProcedure. getParameterType(int index)
Type[]
PrimProcedure. getParameterTypes()
Type
QuoteExp. getRawType()
Type
LambdaExp. getReturnType()
The return type of this function, i.e the type of its returned values.Type
PrimProcedure. getReturnType()
Type
PrimProcedure. getReturnType(Expression[] args)
Type
ConditionalTarget. getType()
Type
ConsumerTarget. getType()
Type
Declaration. getType()
Type
Expression. getType()
Return the Type used to represent the values of this Expression.Type
IgnoreTarget. getType()
Type
StackTarget. getType()
abstract Type
Target. getType()
Type
Language. getTypeFor(Expression exp)
Type
Language. getTypeFor(Expression exp, boolean lenient)
Interpreting exp as a type specifier, get the actual type.Type
Language. getTypeFor(Class clas)
Type
Language. getTypeFor(Object spec, boolean lenient)
Convert a "type value" to a Type.Type
Language. getTypeFor(String name)
Type
Expression. getTypeRaw()
Type
Declaration. loadFieldLocation(Declaration owner, Compilation comp)
static Type
InlineCalls.ValueNeededType. make(Type type)
Type
LambdaExp. restArgType()
Return the parameter type of the "keyword/rest" parameters.static Type
InlineCalls. typeForCalledFunction(Expression exp)
Return a required type for procedure application context.static Type
Language. unionType(Type t1, Type t2)
Methods in gnu.expr with parameters of type Type Modifier and Type Method Description Declaration
ScopeExp. addDeclaration(Object name, Type type)
Create a new declaration in the current Scope.Field
Compilation. allocLocalField(Type type, String name)
Type
Compilation. asBooleanValue(ConditionalTarget target, Type stackType)
Hook for language-specific handling in ConditionalTarget.Expression
InlineCalls. checkType(Expression exp, Type required)
int
InlineCalls.LenientExpectedType. compare(Type other)
int
InlineCalls.ProcedureInCallContext. compare(Type other)
int
InlineCalls.ValueNeededType. compare(Type other)
void
Expression. compile(Compilation comp, Type type)
void
ConditionalTarget. compileFromStack(Compilation comp, Type stackType)
void
ConsumerTarget. compileFromStack(Compilation comp, Type stackType)
void
IgnoreTarget. compileFromStack(Compilation comp, Type stackType)
void
StackTarget. compileFromStack(Compilation comp, Type stackType)
abstract void
Target. compileFromStack(Compilation comp, Type stackType)
protected boolean
StackTarget. compileFromStack0(Compilation comp, Type stackType)
static void
PrimProcedure. compileInvoke(Compilation comp, Method method, Target target, boolean isTailCall, int op_code, Type returnType, boolean doFixUnsigned)
Emit the actual invoke operation, after arguments have been pushed.static void
PrimProcedure. compileRestArg(Type arg_type, ApplyExp exp, int startArg, int i, Compilation comp)
static void
StackTarget. convert(Compilation comp, Type stackType, Type targetType)
Type
Language. decodeType(Type javaType, String annotType, ParameterizedType parameterizedType)
static Type
PrimProcedure. decodeType(Type javaType, String[] annotTypes, int annotIndex, ParameterizedType parameterizedType, Language lang)
static void
CheckedTarget. emitCheckedCoerce(Compilation comp, LambdaExp proc, int argno, Type stackType, Type type, Variable argValue)
static void
CheckedTarget. emitCheckedCoerce(Compilation comp, String procname, int argno, Type type)
protected static void
StackTarget. emitCoerceFromObject(Type type, Compilation comp)
String
Language. encodeType(Type type)
Encode this type as a parseable string.protected Method
ClassExp. findMethodForBridge(String mname, Type[] ptypes, Type rtype)
Finds a like-named method suitable for bridging the given arg/return types (i.e.static Type
StackTarget. forceLazy(Compilation comp, Type stackType, Type type)
static Type
StackTarget. forceLazyIfNeeded(Compilation comp, Type stackType, Type type)
String
Language. formatType(Type type)
void
ClassExp. generateBridgeMethod(Compilation comp, Method src_method, Type[] bridge_arg_types, Type bridge_return_type)
Given an existing method and a desired bridge method signature, generates an appropriate bridge method.protected StackTarget
CheckedTarget. getClonedInstance(Type type)
protected StackTarget
StackTarget. getClonedInstance(Type type)
static Target
CheckedTarget. getInstance(Type type)
static Target
CheckedTarget. getInstance(Type type, LambdaExp proc, int argno)
static Target
CheckedTarget. getInstance(Type type, String procname, int argno)
static Target
StackTarget. getInstance(Type type)
Type
Language. getLangTypeFor(Type type)
static PrimProcedure
PrimProcedure. getMethodFor(ClassType procClass, String name, Declaration decl, Type[] atypes, Language language)
static PrimProcedure
PrimProcedure. getMethodFor(Procedure pproc, Declaration decl, Type[] atypes, Language language)
static Target
StackTarget. getTruncatingInstance(Type type)
int
GenericProc. isApplicable(Type[] args, Type restType)
int
PrimProcedure. isApplicable(Type[] argTypes, Type restType)
static int
InlineCalls. isCompatibleWithValue(Type required, Type expType)
int
InlineCalls.LenientExpectedType. isCompatibleWithValue(Type valueType)
Declaration
Compilation. letVariable(Object name, Type type, Expression init)
Declaration
Compilation. loopVariable(Object name, Type type, Expression init)
Add a new loop variable, with initializer.static InlineCalls.LenientExpectedType
InlineCalls.LenientExpectedType. make(Type type)
static Type
InlineCalls.ValueNeededType. make(Type type)
static PrimProcedure
PrimProcedure. makeBuiltinBinary(int opcode, Type type)
static PrimProcedure
PrimProcedure. makeBuiltinUnary(int opcode, Type type)
static ApplyExp
Compilation. makeCoercion(Expression value, Type type)
Convenience method to make an Expression that coerces a value.static Target
ConsumerTarget. makeContextTarget(Compilation comp, Type type)
Make a Target that uses the current CallContext's current Consumer.static QuoteExp
QuoteExp. makeShared(Object value, Type type)
Expression
InlineCalls. maybeInline(ApplyExp exp, Type required, Procedure proc)
static void
LambdaExp. maybeSetReturnType(LambdaExp lexp, Type type)
static Target
Target. pushValue(Type type)
Return a Target to push a value of specified type on JCM stack.void
LambdaExp. setCoercedReturnType(Type returnType)
void
LambdaExp. setReturnType(Type returnType)
void
PrimProcedure. setReturnType(Type retType)
void
Declaration. setType(Type type)
void
Declaration. setType(Expression typeExp, Type type)
void
Expression. setType(Type type)
void
QuoteExp. setType(Type type)
static Type
Language. unionType(Type t1, Type t2)
void
Compilation. usedClass(Type type)
Called for classes referenced in bytecode.Expression
Expression. validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)
Apply inlining transformations on a given ApplyExp.Expression
LambdaExp. validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)
Expression
QuoteExp. validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)
Expression
ReferenceExp. validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)
Expression
InlineCalls. visit(Expression exp, Type required)
protected Expression
InlineCalls. visitApplyExp(ApplyExp exp, Type required)
Expression
InlineCalls. visitApplyOnly(ApplyExp exp, Type required)
Visit an ApplyExp assuming function and arguments have been visited.protected Expression
InlineCalls. visitBeginExp(BeginExp exp, Type required)
protected Expression
InlineCalls. visitCaseExp(CaseExp exp, Type required)
protected Expression
InlineCalls. visitClassExp(ClassExp exp, Type required)
void
InlineCalls. visitDefaultArgs(LambdaExp exp, Type required)
protected Expression
InlineCalls. visitFluidLetExp(FluidLetExp exp, Type required)
protected Expression
InlineCalls. visitIfExp(IfExp exp, Type required)
protected Expression
InlineCalls. visitLambdaExp(LambdaExp exp, Type required)
protected Expression
InlineCalls. visitLetExp(LetExp exp, Type required)
protected Expression
InlineCalls. visitModuleExp(ModuleExp exp, Type required)
protected Expression
InlineCalls. visitQuoteExp(QuoteExp exp, Type required)
protected Expression
InlineCalls. visitReferenceExp(ReferenceExp exp, Type required)
protected Expression
InlineCalls. visitScopeExp(ScopeExp exp, Type required)
protected Expression
InlineCalls. visitSetExp(SetExp exp, Type required)
protected Expression
InlineCalls. visitTryExp(TryExp exp, Type required)
Constructors in gnu.expr with parameters of type Type Constructor Description CatchClause(Object name, Type type, Expression body)
CheckedTarget(Type type)
CheckedTarget(Type type, LambdaExp proc, int argno)
CheckedTarget(Type type, String procname, int argno)
ConsumerTarget(Variable consumer, Type type)
Declaration(Object name, Type type)
Literal(Object value, Type type, LitTable litTable)
PrimProcedure(int op_code, ClassType classtype, String name, Type retType, Type[] argTypes)
PrimProcedure(int opcode, Type retType, Type[] argTypes)
PrimProcedure(Method method, Type retType, Type[] argTypes)
QuoteExp(Object val, Type type)
StackTarget(Type type)
-
Uses of Type in gnu.kawa.functions
Methods in gnu.kawa.functions that return Type Modifier and Type Method Description protected Type
CurryExp. calculateType()
static Type
CompileArith. combineType(Type t1, Type t2)
Type
CallCC. getReturnType(Expression[] args)
Type
CompileArith. getReturnType(Expression[] args)
Type
GetModuleClass. getReturnType(Expression[] args)
Type
MakeList. getReturnType(Expression[] args)
Type
ValuesMap. getReturnType(Expression[] args)
static Type
Arithmetic. kindType(int kind)
Methods in gnu.kawa.functions with parameters of type Type Modifier and Type Method Description static int
Arithmetic. classifyType(Type type)
static Type
CompileArith. combineType(Type t1, Type t2)
static void
MakeSplice. copyTo(Object target, int start, int size, Object values, Type elementType)
static Object
GetNamedPart. getTypePart(Type type, String name)
static Expression
CompileNamedPart. makeExp(Type type, String member)
Expression
CurryExp. validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)
static Expression
CompileMisc. validateApplyAppendValues(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileArith. validateApplyArithOp(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileMisc. validateApplyCallCC(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileMisc. validateApplyConstantFunction0(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileMisc. validateApplyConvert(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileMisc. validateApplyFormat(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
Validate-apply handling for "format".static Expression
CompileMisc. validateApplyMakeDynamic(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileMisc. validateApplyMakeProcedure(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileMisc. validateApplyMakePromise(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileProcess. validateApplyRunProcess(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
Type-check and optimize RunProcess (i.e.static Expression
CompileMisc. validateApplySimpleBoolean(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompilationHelpers. validateApplyToArgs(ApplyExp exp, InlineCalls visitor, Type required, Procedure applyToArgs)
static Expression
CompileMisc. validateApplyValuesMap(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileMisc. validateApplyWithExceptionHandler(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileValues. validateApplyWithValues(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileValues. validateCallWithValues(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileNamedPart. validateGetNamedInstancePart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileNamedPart. validateGetNamedPart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompilationHelpers. validateIsEqv(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileNamedPart. validateNamedPart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileNamedPart. validateNamedPartSetter(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileNamedPart. validateSetNamedInstancePart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileNamedPart. validateSetNamedPart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompilationHelpers. validateSetter(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
-
Uses of Type in gnu.kawa.lispexpr
Subclasses of Type in gnu.kawa.lispexpr Modifier and Type Class Description class
GenArrayType
Type of multi-dimensional arrays.class
LangObjType
A wrapper around a class type.class
LangPrimType
Use to implement some special types that convert differently.class
SeqSizeType
This matches a sequences of a specific length.Methods in gnu.kawa.lispexpr that return Type Modifier and Type Method Description static Type
LangObjType. coerceToType(Object obj)
static Type
LangObjType. coerceToTypeOrNull(Object type)
static Type
LispLanguage. decodeArrayType(String name)
Type
GenArrayType. getComponentType()
Type
LangObjType. getElementType()
Type
GenArrayType. getImplementationType()
Type
LangPrimType. getImplementationType()
Type
LispLanguage. getNamedType(String name)
Type
LispLanguage. getPackageStyleType(String name)
Try to get a type of the form lang:type.Type
LispLanguage. getTypeFor(Class clas)
Type
LispLanguage. getTypeFor(Object spec, boolean lenient)
Methods in gnu.kawa.lispexpr that return types with arguments of type Type Modifier and Type Method Description protected HashMap<String,Type>
LispLanguage. getTypeMap()
Methods in gnu.kawa.lispexpr with parameters of type Type Modifier and Type Method Description int
GenArrayType. compare(Type other)
int
LangObjType. compare(Type other)
int
LangPrimType. compare(Type other)
int
SeqSizeType. compare(Type other)
void
LangObjType. emitConvertFromPrimitive(Type stackType, CodeAttr code)
static void
LangPrimType. emitTestIfNumber(Variable incoming, Declaration decl, Type type, Compilation comp)
int
LangObjType. isCompatibleWithValue(Type valueType)
int
LangPrimType. isCompatibleWithValue(Type valueType)
int
SeqSizeType. isCompatibleWithValue(Type valueType)
void
ReadTable. putReaderCtor(String key, Type type)
Add a mapping for a SRFI-10 constructor tag.Constructors in gnu.kawa.lispexpr with parameters of type Type Constructor Description GenArrayType(int rank, Type elementType)
-
Uses of Type in gnu.kawa.reflect
Subclasses of Type in gnu.kawa.reflect Modifier and Type Class Description class
LazyType
The type of lazy values - i.e.class
MappedArrayType
An array type where elements are copied from a sequence.class
MultValuesType
class
OccurrenceType
A type that matches some number of repetitions of a basetype.class
SingletonType
Fields in gnu.kawa.reflect declared as Type Modifier and Type Field Description static Type
OccurrenceType. emptySequenceType
Methods in gnu.kawa.reflect that return Type Modifier and Type Method Description static Type
MultValuesType. create(Type[] itemTypes)
Type
OccurrenceType. getBase()
Type
MappedArrayType. getComponentType()
Type
FieldLocation. getFType()
Get the type of the field.Type
LazyType. getImplementationType()
Type
MappedArrayType. getImplementationType()
Type
MultValuesType. getImplementationType()
Type
OccurrenceType. getImplementationType()
Type
SingletonType. getImplementationType()
static Type
OccurrenceType. getInstance(Type base, int minOccurs, int maxOccurs)
Type
LazyType. getRawType()
Type
MappedArrayType. getRealType()
Type
InstanceOf. getReturnType(Expression[] args)
Type
StaticGet. getReturnType(Expression[] args)
Type
StaticSet. getReturnType(Expression[] args)
Type
TypeSwitch. getReturnType(Expression[] args)
Type
LazyType. getValueType()
Type
MultValuesType. getValueType(int index)
static Type
OccurrenceType. itemPrimeType(Type type)
XQuery formal semantics "prime type"static Type
MappedArrayType. maybe(Type type, int nesting)
Methods in gnu.kawa.reflect with parameters of type Type Modifier and Type Method Description static int
CompileReflect. checkKnownClass(Type type, Compilation comp)
Check if class exists.int
LazyType. compare(Type other)
int
MultValuesType. compare(Type other)
int
OccurrenceType. compare(Type other)
int
SingletonType. compare(Type other)
static int
OccurrenceType. compatibleWithCount(Type type, int count)
static Type
MultValuesType. create(Type[] itemTypes)
static void
CompileArrays. createArray(Type elementType, Compilation comp, Expression[] args, int start, int end)
Optimized code generation of array creation with splicing support.static ArrayMake
ArrayMake. getInstance(Type elementType)
static LazyType
LazyType. getInstance(ClassType rawType, Type valueType)
static Type
OccurrenceType. getInstance(Type base, int minOccurs, int maxOccurs)
static LazyType
LazyType. getLazyType(Type valueType)
static LazyType
LazyType. getPromiseType(Type valueType)
protected void
CompileBuildObject. init(ApplyExp exp, InlineCalls visitor, Type required, ObjectType ctype, ClassType caller)
int
MappedArrayType. isCompatibleWithValue(Type valueType)
int
MultValuesType. isCompatibleWithValue(Type valueType)
static char
OccurrenceType. itemCountCode(Type type)
Returna a quantifer kind for a sequence type.static boolean
OccurrenceType. itemCountIsOne(Type type)
static boolean
OccurrenceType. itemCountIsZeroOrOne(Type type)
static int
OccurrenceType. itemCountMax(Type type)
static int
OccurrenceType. itemCountMin(Type type)
static int
OccurrenceType. itemCountRange(Type type)
Return a conservative estimate on the min/max number of items of a type.static Type
OccurrenceType. itemPrimeType(Type type)
XQuery formal semantics "prime type"static CompileBuildObject
CompileBuildObject. make(ApplyExp exp, InlineCalls visitor, Type required, ObjectType ctype, ClassType caller)
static Type
MappedArrayType. maybe(Type type, int nesting)
static boolean
LazyType. maybeLazy(Type type)
static long
ClassMethods. selectApplicable(PrimProcedure[] methods, Type[] atypes, Type restType)
Re-order the methods such that the ones that are definite applicable (all argtypes is subset of parameter type) are first; those possibly applicable next (argtype overlaps parameter types); and ending with those definitely not applicable (some argtype does overlap its parameter type).protected void
OccurrenceType. setBase(Type base)
static Expression
MakeAnnotation. validate(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileReflect. validateApplyInstanceOf(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileInvoke. validateApplyInvoke(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileReflect. validateApplySlotGet(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileReflect. validateApplySlotSet(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileReflect. validateApplyTypeSwitch(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileArrays. validateArrayGet(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileArrays. validateArrayLength(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileArrays. validateArrayNew(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileArrays. validateArraySet(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileInvoke. validateNamedInvoke(ApplyExp exp, InlineCalls visitor, ObjectType type, String name, PrimProcedure[] methods, Invoke iproc, Type required)
static Expression
CompileReflect. validateThrow(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
Constructors in gnu.kawa.reflect with parameters of type Type Constructor Description ArrayGet(Type element_type)
ArrayLength(Type element_type)
ArrayMake(Type elementType)
ArrayNew(Type element_type)
ArraySet(Type element_type)
LazyType(ClassType rawType, Type valueType)
MappedArrayType(Type elementType)
MultValuesType(Type[] itemTypes)
OccurrenceType(Type base, int minOccurs, int maxOccurs)
StaticGet(ClassType ctype, String name, Type ftype, int flags)
StaticSet(ClassType ctype, String name, Type ftype, int flags)
-
Uses of Type in gnu.kawa.xml
Subclasses of Type in gnu.kawa.xml Modifier and Type Class Description class
AttributeType
Matches an attribute name pattern.class
ElementType
class
NodeSetType
class
NodeType
A SeqPosition used to represent a node in (usually) a TreeList.class
ProcessingInstructionType
class
XDataType
An atomic type as used in XML Schema and related languages.class
XIntegerType
A restriction (sub-range) of the integer type.class
XStringType
class
XTimeType
Methods in gnu.kawa.xml that return Type Modifier and Type Method Description Type
AttributeType. getImplementationType()
Type
ElementType. getImplementationType()
Type
NodeType. getImplementationType()
Type
ProcessingInstructionType. getImplementationType()
Type
XDataType. getImplementationType()
static Type
NodeSetType. getInstance(Type base)
Type
CoerceNodes. getReturnType(Expression[] args)
Type
MakeAttribute. getReturnType(Expression[] args)
Type
MakeElement. getReturnType(Expression[] args)
Type
NodeConstructor. getReturnType(Expression[] args)
Type
SortNodes. getReturnType(Expression[] args)
Type
UnionNodes. getReturnType(Expression[] args)
Methods in gnu.kawa.xml with parameters of type Type Modifier and Type Method Description int
NodeType. compare(Type other)
int
XDataType. compare(Type other)
static Type
NodeSetType. getInstance(Type base)
static Expression
CompileXmlFunctions. validateApplyMakeUnescapedData(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileXmlFunctions. validateApplyTreeScanner(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
Constructors in gnu.kawa.xml with parameters of type Type Constructor Description NodeSetType(Type itemType)
XDataType(Object name, Type implementationType, int typeCode)
-
Uses of Type in gnu.mapping
Methods in gnu.mapping that return Type Modifier and Type Method Description Type
MethodProc. getParameterType(int index)
Type
Procedure. getReturnType(Expression[] args)
Semi-deprecated - instead should be set at Inline time.Methods in gnu.mapping with parameters of type Type Modifier and Type Method Description int
MethodProc. isApplicable(Type[] argTypes, Type restType)
Test if method is applicable to an invocation with given arguments.Constructors in gnu.mapping with parameters of type Type Constructor Description WrongType(int n, Object argValue, Type expectedType)
WrongType(Procedure proc, int n, Object argValue, Type expectedType)
-
Uses of Type in gnu.xquery.lang
Methods in gnu.xquery.lang that return Type Modifier and Type Method Description Type
XQuery. getStandardType(String name)
Type
XQuery. getTypeFor(Class clas)
Type
XQuery. getTypeFor(String name)
Methods in gnu.xquery.lang with parameters of type Type Modifier and Type Method Description String
XQuery. formatType(Type type)
-
Uses of Type in gnu.xquery.util
Methods in gnu.xquery.util that return Type Modifier and Type Method Description Type
OrderedMap. getReturnType(Expression[] args)
Type
RelativeStep. getReturnType(Expression[] args)
Type
ValuesFilter. getReturnType(Expression[] args)
Methods in gnu.xquery.util with parameters of type Type Modifier and Type Method Description static Expression
CompileMisc. validateApplyCastableAs(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileMisc. validateApplyCastAs(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileMisc. validateApplyOrderedMap(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileMisc. validateApplyRelativeStep(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression
CompileMisc. validateApplyValuesFilter(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
Inliner for theValuesFilter
procedure.static Expression
CompileMisc. validateArithOp(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
Inliner for the ArithOp procedure.static Expression
CompileMisc. validateBooleanValue(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
Inliner for the BooleanValue procedure.static Expression
CompileMisc. validateCompare(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
Inliner for the Compare procedure. -
Uses of Type in kawa.lang
Fields in kawa.lang declared as Type Modifier and Type Field Description Type
BindDecls. booleanType
Methods in kawa.lang that return Type Modifier and Type Method Description Type
Translator. exp2Type(Pair typeSpecPair)
Extract a type from the car of a pair.Type
Translator. exp2Type(Pair typeSpecPair, Declaration decl, SyntaxForm syntax)
Type
GetFieldProc. getReturnType(Expression[] args)
Type
SetFieldProc. getReturnType(Expression[] args)
Constructors in kawa.lang with parameters of type Type Constructor Description GetFieldProc(ClassType ctype, String name, Type ftype, int flags)
SetFieldProc(ClassType ctype, String name, Type ftype, int flags)
-
Uses of Type in kawa.standard
Methods in kawa.standard that return Type Modifier and Type Method Description static Type
Scheme. exp2Type(Expression exp)
Convert expression to a Type.static Type
Scheme. getTypeValue(Expression exp)
If exp is a "constant" Type, return that type, otherwise return null.Methods in kawa.standard that return types with arguments of type Type Modifier and Type Method Description protected HashMap<String,Type>
Scheme. getTypeMap()
Methods in kawa.standard with parameters of type Type Modifier and Type Method Description String
Scheme. formatType(Type type)
-