Uses of Class
gnu.bytecode.Type
Packages that use Type
Package
Description
Contains classes to generate, read,
write, and print Java bytecode in the form of
.class
files.Supports
Expression
,
and various related classes need to compile programming languages.Contains classes to use reflection.
Supports
Procedure
,
and various related classes needed at run-time by dynamically typed
languages (such as Scheme and ECMAScript).-
Uses of Type in gnu.bytecode
Subclasses of Type in gnu.bytecodeModifier and TypeClassDescriptionclass
class
class
Semi-abstract class object reference types.class
class
class
Used for object types that don't correspond to JVM types.class
A type variable in a parameterized type.class
A pseudo-type used for allocated but uninitialized objects.Fields in gnu.bytecode declared as TypeModifier and TypeFieldDescriptionArrayType.elements
static final Type
Type.neverReturnsType
The return type of an expression that never returns, such as a throw.Type[]
CodeAttr.stack_types
static final Type[]
Type.typeArray0
Methods in gnu.bytecode that return TypeModifier and TypeMethodDescriptionArrayType.getComponentType()
ArrayType.getImplementationType()
SpecialObjectType.getImplementationType()
Type.getImplementationType()
Return Java-level implementation type.UninitializedType.getImplementationType()
final Type[]
Method.getParameterTypes()
ArrayType.getRawType()
Type.getRawType()
Return JVM-level implementation type.SpecialObjectType.getRealType()
Type.getRealType()
If this is a type alias, get the aliased type.final Type
Method.getReturnType()
Field.getType()
Location.getType()
static Type
Find an Type with the given name, or create a new one.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
static Type
Try to map java.lang.reflect.Type to gnu.bytecode.Type.final Type
CodeAttr.popType()
Type.promote()
PrimType.promotedType()
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.final Type
CodeAttr.topType()
Methods in gnu.bytecode with parameters of type TypeModifier and TypeMethodDescriptionfinal Field
final Field
Add a new local variable (in the current scope).Add a new local variable (in the current scope).void
Add a method to this ClassType.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
int
int
int
int
int
abstract int
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
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
void
CodeAttr.emitCheckcast
(Type type) void
Type.emitConvertFromPrimitive
(Type stackType, CodeAttr code) Convert from stackType (usually PrimType) to this type.void
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.final void
Compile 'not', assuming 0 or 1 is on the JVM stack.void
CodeAttr.emitPrimop
(int opcode, int arg_count, Type retType) final 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) final void
CodeAttr.fixUnsigned
(Type stackType) ClassType.getDeclaredMethod
(String name, Type[] arg_types) Look for a matching method.Method[]
ClassType.getMatchingMethods
(String name, Type[] paramTypes, int flags) Looks for a method matching the name and 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
final boolean
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
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) final void
ClassTypeWriter.printSignature
(Type type) final void
static void
Type.registerTypeForClass
(Class clas, Type type) Register that the Type for class is type.final void
Method.setReturnType
(Type type) final void
final void
Set the current type state from a label.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 -
Uses of Type in gnu.expr
Modifier and TypeClassDescriptionstatic class
New helper Type class, used for "lenient" conversions.static class
static class
A marker type to indicate that void is invalid.class
A class type implemented as a pair of an interface and a class.Modifier and TypeFieldDescriptionstatic Type[]
Compilation.apply0args
static Type[]
Compilation.apply1args
static Type[]
Compilation.apply2args
static Type[]
Compilation.applyNargs
static final Type[]
Compilation.int1Args
LambdaExp.returnType
If non-null, the type of values returned by this function.static final Type[]
Compilation.string1Arg
static final Type[]
Compilation.sym1Arg
Declaration.type
The type of the value of this Declaration.protected Type
Expression.type
Literal.type
Modifier and TypeMethodDescriptionCompilation.asBooleanValue
(ConditionalTarget target, Type stackType) Hook for language-specific handling in ConditionalTarget.final Type
"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 final Type
LetExp.calculateType()
protected Type
ObjectExp.calculateType()
protected final Type
QuoteExp.calculateType()
protected Type
ReferenceExp.calculateType()
protected final Type
SetExp.calculateType()
protected final Type
ThisExp.calculateType()
protected Type
TryExp.calculateType()
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) Declaration.getImplementationType()
InlineCalls.ProcedureInCallContext.getImplementationType()
InlineCalls.ValueNeededType.getImplementationType()
TypeValue.getImplementationType()
The lower-level Type used to represent instances of this type.final Type
Language.getLangTypeFor
(Type type) Language.getNamedType
(String name) Get the correspondingType
for a given name.PrimProcedure.getParameterType
(int index) final Type[]
PrimProcedure.getParameterTypes()
final Type
QuoteExp.getRawType()
final Type
LambdaExp.getReturnType()
The return type of this function, i.e the type of its returned values.PrimProcedure.getReturnType()
PrimProcedure.getReturnType
(Expression[] args) ConditionalTarget.getType()
ConsumerTarget.getType()
final Type
Declaration.getType()
final Type
Expression.getType()
Return the Type used to represent the values of this Expression.IgnoreTarget.getType()
StackTarget.getType()
abstract Type
Target.getType()
final Type
Language.getTypeFor
(Expression exp) Language.getTypeFor
(Expression exp, boolean lenient) Interpreting exp as a type specifier, get the actual type.Language.getTypeFor
(Class clas) Language.getTypeFor
(Object spec, boolean lenient) Convert a "type value" to a Type.Language.getTypeFor
(String name) final Type
Expression.getTypeRaw()
Declaration.loadFieldLocation
(Declaration owner, Compilation comp) static Type
final 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
Modifier and TypeMethodDescriptionfinal Declaration
ScopeExp.addDeclaration
(Object name, Type type) Create a new declaration in the current Scope.Compilation.allocLocalField
(Type type, String name) Compilation.asBooleanValue
(ConditionalTarget target, Type stackType) Hook for language-specific handling in ConditionalTarget.InlineCalls.checkType
(Expression exp, Type required) int
int
int
final 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 final void
PrimProcedure.compileRestArg
(Type arg_type, ApplyExp exp, int startArg, int i, Compilation comp) static void
StackTarget.convert
(Compilation comp, Type stackType, Type targetType) 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) 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) Language.formatType
(Type type) final 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) final 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) Compilation.letVariable
(Object name, Type type, Expression init) Compilation.loopVariable
(Object name, Type type, Expression init) Add a new loop variable, with initializer.static 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) InlineCalls.maybeInline
(ApplyExp exp, Type required, Procedure proc) static void
LambdaExp.maybeSetReturnType
(LambdaExp lexp, Type type) static Target
Return a Target to push a value of specified type on JCM stack.final void
LambdaExp.setCoercedReturnType
(Type returnType) final void
LambdaExp.setReturnType
(Type returnType) void
PrimProcedure.setReturnType
(Type retType) final void
final void
Declaration.setType
(Expression typeExp, Type type) void
void
static Type
void
Called for classes referenced in bytecode.Expression.validateApply
(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl) Apply inlining transformations on a given ApplyExp.LambdaExp.validateApply
(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl) QuoteExp.validateApply
(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl) ReferenceExp.validateApply
(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl) InlineCalls.visit
(Expression exp, Type required) protected Expression
InlineCalls.visitApplyExp
(ApplyExp exp, Type required) final 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) ModifierConstructorDescriptionCatchClause
(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) 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) StackTarget
(Type type) -
Uses of Type in gnu.kawa.functions
Methods in gnu.kawa.functions that return TypeModifier and TypeMethodDescriptionprotected Type
CurryExp.calculateType()
static Type
CompileArith.combineType
(Type t1, Type t2) CallCC.getReturnType
(Expression[] args) CompileArith.getReturnType
(Expression[] args) GetModuleClass.getReturnType
(Expression[] args) MakeList.getReturnType
(Expression[] args) ValuesMap.getReturnType
(Expression[] args) static Type
Arithmetic.kindType
(int kind) Methods in gnu.kawa.functions with parameters of type TypeModifier and TypeMethodDescriptionstatic int
Arithmetic.classifyType
(Type type) static Type
CompileArith.combineType
(Type t1, Type t2) static void
static Object
GetNamedPart.getTypePart
(Type type, String name) static 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.lispexprModifier and TypeClassDescriptionclass
Type of multi-dimensional arrays.class
A wrapper around a class type.class
Use to implement some special types that convert differently.class
This matches a sequences of a specific length.Methods in gnu.kawa.lispexpr that return TypeModifier and TypeMethodDescriptionstatic Type
LangObjType.coerceToType
(Object obj) static Type
LangObjType.coerceToTypeOrNull
(Object type) static Type
LispLanguage.decodeArrayType
(String name) GenArrayType.getComponentType()
LangObjType.getElementType()
GenArrayType.getImplementationType()
LangPrimType.getImplementationType()
LispLanguage.getNamedType
(String name) LispLanguage.getPackageStyleType
(String name) Try to get a type of the form lang:type.LispLanguage.getTypeFor
(Class clas) LispLanguage.getTypeFor
(Object spec, boolean lenient) Methods in gnu.kawa.lispexpr that return types with arguments of type TypeMethods in gnu.kawa.lispexpr with parameters of type TypeModifier and TypeMethodDescriptionint
int
int
int
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 -
Uses of Type in gnu.kawa.reflect
Subclasses of Type in gnu.kawa.reflectModifier and TypeClassDescriptionclass
The type of lazy values - i.e.class
An array type where elements are copied from a sequence.class
class
A type that matches some number of repetitions of a basetype.class
Fields in gnu.kawa.reflect declared as TypeMethods in gnu.kawa.reflect that return TypeModifier and TypeMethodDescriptionstatic Type
OccurrenceType.getBase()
MappedArrayType.getComponentType()
FieldLocation.getFType()
Get the type of the field.LazyType.getImplementationType()
MappedArrayType.getImplementationType()
MultValuesType.getImplementationType()
OccurrenceType.getImplementationType()
SingletonType.getImplementationType()
static Type
OccurrenceType.getInstance
(Type base, int minOccurs, int maxOccurs) LazyType.getRawType()
MappedArrayType.getRealType()
InstanceOf.getReturnType
(Expression[] args) StaticGet.getReturnType
(Expression[] args) StaticSet.getReturnType
(Expression[] args) TypeSwitch.getReturnType
(Expression[] args) LazyType.getValueType()
MultValuesType.getValueType
(int index) static Type
OccurrenceType.itemPrimeType
(Type type) XQuery formal semantics "prime type"static Type
Methods in gnu.kawa.reflect with parameters of type TypeModifier and TypeMethodDescriptionstatic int
CompileReflect.checkKnownClass
(Type type, Compilation comp) Check if class exists.int
int
int
int
static int
OccurrenceType.compatibleWithCount
(Type type, int count) static Type
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
static boolean
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
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 TypeModifierConstructorDescriptionArrayLength
(Type element_type) MappedArrayType
(Type elementType) MultValuesType
(Type[] itemTypes) OccurrenceType
(Type base, int minOccurs, int maxOccurs) -
Uses of Type in gnu.kawa.xml
Subclasses of Type in gnu.kawa.xmlModifier and TypeClassDescriptionclass
Matches an attribute name pattern.class
class
class
A SeqPosition used to represent a node in (usually) a TreeList.class
class
An atomic type as used in XML Schema and related languages.class
A restriction (sub-range) of the integer type.class
class
Methods in gnu.kawa.xml that return TypeModifier and TypeMethodDescriptionAttributeType.getImplementationType()
ElementType.getImplementationType()
NodeType.getImplementationType()
ProcessingInstructionType.getImplementationType()
XDataType.getImplementationType()
static Type
NodeSetType.getInstance
(Type base) CoerceNodes.getReturnType
(Expression[] args) MakeAttribute.getReturnType
(Expression[] args) MakeElement.getReturnType
(Expression[] args) NodeConstructor.getReturnType
(Expression[] args) SortNodes.getReturnType
(Expression[] args) UnionNodes.getReturnType
(Expression[] args) Methods in gnu.kawa.xml with parameters of type TypeModifier and TypeMethodDescriptionint
int
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 -
Uses of Type in gnu.mapping
Methods in gnu.mapping that return TypeModifier and TypeMethodDescriptionMethodProc.getParameterType
(int index) Procedure.getReturnType
(Expression[] args) Semi-deprecated - instead should be set at Inline time.Methods in gnu.mapping with parameters of type TypeModifier and TypeMethodDescriptionint
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 -
Uses of Type in gnu.xquery.lang
Methods in gnu.xquery.lang that return TypeModifier and TypeMethodDescriptionXQuery.getStandardType
(String name) XQuery.getTypeFor
(Class clas) XQuery.getTypeFor
(String name) Methods in gnu.xquery.lang with parameters of type Type -
Uses of Type in gnu.xquery.util
Methods in gnu.xquery.util that return TypeModifier and TypeMethodDescriptionOrderedMap.getReturnType
(Expression[] args) RelativeStep.getReturnType
(Expression[] args) ValuesFilter.getReturnType
(Expression[] args) Methods in gnu.xquery.util with parameters of type TypeModifier and TypeMethodDescriptionstatic 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
Modifier and TypeMethodDescriptionExtract a type from the car of a pair.Translator.exp2Type
(Pair typeSpecPair, Declaration decl, SyntaxForm syntax) GetFieldProc.getReturnType
(Expression[] args) SetFieldProc.getReturnType
(Expression[] args) ModifierConstructorDescriptionGetFieldProc
(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 TypeModifier and TypeMethodDescriptionstatic 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 TypeMethods in kawa.standard with parameters of type Type