|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Type | |
---|---|
gnu.bytecode |
Contains classes to generate, read,
write, and print Java bytecode in the form of .class files. |
gnu.commonlisp.lang | |
gnu.expr | Supports Expression ,
and various related classes need to compile programming languages. |
gnu.jemacs.lang | Contains classes to implement the Emacs Lisp language. |
gnu.kawa.functions | |
gnu.kawa.lispexpr | |
gnu.kawa.reflect | Contains classes to use reflection. |
gnu.kawa.xml | |
gnu.mapping |
Supports Procedure ,
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 | |
---|---|
class |
ArrayType
|
class |
ClassType
|
class |
ObjectType
Semi-abstract class object reference types. |
class |
PrimType
|
class |
UninitializedType
A pseudo-type used for allocated but uninitialized objects. |
Fields in gnu.bytecode declared as Type | |
---|---|
Type |
ArrayType.elements
|
Type[] |
CodeAttr.stack_types
|
protected Type |
Location.type
|
static Type[] |
Type.typeArray0
|
Methods in gnu.bytecode that return Type | |
---|---|
Type |
ArrayType.getComponentType()
|
Type |
ArrayType.getImplementationType()
|
Type |
Type.getImplementationType()
The type used to implement types not natively understood by the JVM. |
Type |
ObjectType.getImplementationType()
|
Type |
UninitializedType.getImplementationType()
|
Type[] |
Method.getParameterTypes()
|
Type |
Type.getRealType()
If this is a type alias, get the aliased type. |
Type |
Method.getReturnType()
|
Type |
Location.getType()
|
static Type |
Type.getType(java.lang.String name)
Find an Type with the given name, or create a new one. |
static Type |
Type.lookupType(java.lang.String name)
|
static Type |
Type.lowestCommonSuperType(Type t1,
Type t2)
Computes the common supertype Interfaces are not taken into account. |
static Type |
Type.make(java.lang.Class reflectClass)
|
Type |
CodeAttr.popType()
|
Type |
Type.promote()
|
Type |
ObjectType.promote()
|
Type |
PrimType.promotedType()
|
static Type |
Type.signatureToType(java.lang.String sig)
Get a Type corresponding to the given signature string. |
static Type |
Type.signatureToType(java.lang.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 | |
---|---|
Field |
ClassType.addField(java.lang.String name,
Type type)
|
Field |
ClassType.addField(java.lang.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,
java.lang.String name)
Add a new local variable (in the current scope). |
Method |
ClassType.addMethod(java.lang.String name,
int flags,
Type[] arg_types,
Type return_type)
Add a method to this ClassType. |
Method |
ClassType.addMethod(java.lang.String name,
int flags,
Type[] arg_types,
Type return_type)
Add a method to this ClassType. |
Method |
ClassType.addMethod(java.lang.String name,
Type[] arg_types,
Type return_type,
int flags)
|
Method |
ClassType.addMethod(java.lang.String name,
Type[] arg_types,
Type return_type,
int flags)
|
Variable |
Scope.addVariable(CodeAttr code,
Type type,
java.lang.String name)
|
static boolean |
CodeAttr.castNeeded(Type top,
Type required)
|
int |
ArrayType.compare(Type other)
|
int |
PrimType.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 |
ClassType.compare(Type other)
|
int |
ObjectType.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 |
CodeAttr.emitConvert(Type from,
Type to)
|
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)
|
Method |
ClassType.getDeclaredMethod(java.lang.String name,
Type[] arg_types)
Look for a matching method. |
Method[] |
ClassType.getMatchingMethods(java.lang.String name,
Type[] paramTypes,
int flags)
|
Method |
ClassType.getMethod(java.lang.String name,
Type[] arg_types)
|
Method |
ObjectType.getMethod(java.lang.String name,
Type[] arg_types)
|
static boolean |
Type.isMoreSpecific(Type[] t1,
Type[] t2)
Return true iff t1[i].isSubtype(t2[i]) for all i. |
static boolean |
Type.isMoreSpecific(Type[] t1,
Type[] t2)
Return true iff t1[i].isSubtype(t2[i]) for all i. |
boolean |
Type.isSubtype(Type other)
Return true if this is a "subtype" of other. |
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 Method |
Method.makeCloneMethod(Type returnType)
Make a generic "clone" method. |
static java.lang.String |
Method.makeSignature(Type[] arg_types,
Type return_type)
|
static java.lang.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(java.lang.Class clas,
Type type)
Register that the Type for class is type. |
void |
Location.setType(Type type)
|
void |
CodeAttr.setTypes(Type[] labelLocals,
Type[] labelStack)
Set the current type state from a label. |
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. |
Constructors in gnu.bytecode with parameters of type Type | |
---|---|
ArrayType(Type elements)
|
|
Type(Type type)
|
|
Variable(java.lang.String name,
Type type)
|
Uses of Type in gnu.commonlisp.lang |
---|
Methods in gnu.commonlisp.lang that return Type | |
---|---|
Type |
CommonLisp.getTypeFor(java.lang.Class clas)
|
Type |
CommonLisp.getTypeFor(java.lang.String name)
|
Uses of Type in gnu.expr |
---|
Subclasses of Type in gnu.expr | |
---|---|
class |
PairClassType
A class type implemented as a pair of an interface and a class. |
Fields in gnu.expr declared as Type | |
---|---|
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
|
protected Type |
Declaration.type
The type of the value of this Declaration. |
protected Type |
QuoteExp.type
|
Type |
Literal.type
|
protected Type |
ApplyExp.type
Cache for getType(). |
Methods in gnu.expr that return Type | |
---|---|
Type |
Language.asType(java.lang.Object spec)
"Coerce" a language-specific "type specifier" object to a Type. |
Type |
TypeValue.getImplementationType()
The lower-level Type used to represent instances of this type. |
Type |
Language.getLangTypeFor(Type type)
|
Type |
PrimProcedure.getParameterType(int index)
|
Type[] |
PrimProcedure.getParameterTypes()
|
Type |
QuoteExp.getRawType()
|
Type |
PrimProcedure.getReturnType()
|
Type |
LambdaExp.getReturnType()
The return type of this function, i.e the type of its returned values. |
Type |
PrimProcedure.getReturnType(Expression[] args)
|
Type |
ExitExp.getType()
|
Type |
ConsumerTarget.getType()
|
Type |
IgnoreTarget.getType()
|
Type |
Declaration.getType()
|
Type |
ConditionalTarget.getType()
|
Type |
ThisExp.getType()
|
Type |
ClassExp.getType()
The ClassType generated for this class. |
Type |
QuoteExp.getType()
|
Type |
BeginExp.getType()
|
abstract Type |
Target.getType()
|
Type |
IfExp.getType()
|
Type |
LambdaExp.getType()
|
Type |
ApplyExp.getType()
|
Type |
TryExp.getType()
|
Type |
ObjectExp.getType()
|
Type |
SetExp.getType()
|
Type |
StackTarget.getType()
|
Type |
Expression.getType()
Return the Type used to represent the values of this Expression. |
Type |
LetExp.getType()
|
Type |
ReferenceExp.getType()
|
Type |
Language.getTypeFor(java.lang.Class clas)
|
Type |
Language.getTypeFor(Expression exp)
|
Type |
Language.getTypeFor(Expression exp,
boolean lenient)
|
Type |
Language.getTypeFor(java.lang.Object spec,
boolean lenient)
|
Type |
Language.getTypeFor(java.lang.String name)
|
Type |
ApplyExp.getTypeRaw()
|
Type |
LambdaExp.restArgType()
Return the parameter type of the "keyword/rest" parameters. |
static Type |
Language.string2Type(java.lang.String name)
|
static Type |
Language.unionType(Type t1,
Type t2)
|
Methods in gnu.expr with parameters of type Type | |
---|---|
Declaration |
ScopeExp.addDeclaration(java.lang.Object name,
Type type)
Create a new declaration in the current Scope. |
Field |
Compilation.allocLocalField(Type type,
java.lang.String name)
|
Expression |
InlineCalls.checkType(Expression exp,
Type required)
|
void |
Expression.compile(Compilation comp,
Type type)
|
void |
ConsumerTarget.compileFromStack(Compilation comp,
Type stackType)
|
void |
IgnoreTarget.compileFromStack(Compilation comp,
Type stackType)
|
void |
ConditionalTarget.compileFromStack(Compilation comp,
Type stackType)
|
void |
CheckedTarget.compileFromStack(Compilation comp,
Type stackType)
|
abstract void |
Target.compileFromStack(Compilation comp,
Type stackType)
|
void |
StackTarget.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 stackType)
Emit the actual invoke operation, after arguments have been pushed. |
static void |
StackTarget.convert(Compilation comp,
Type stackType,
Type targetType)
|
static void |
CheckedTarget.emitCheckedCoerce(Compilation comp,
LambdaExp proc,
int argno,
Type type)
|
static void |
CheckedTarget.emitCheckedCoerce(Compilation comp,
LambdaExp proc,
int argno,
Type type,
Variable argValue)
|
static void |
CheckedTarget.emitCheckedCoerce(Compilation comp,
java.lang.String procname,
int argno,
Type type)
|
protected static void |
StackTarget.emitCoerceFromObject(Type type,
Compilation comp)
|
java.lang.String |
Language.formatType(Type type)
|
static Target |
CheckedTarget.getInstance(Type type)
|
static Target |
StackTarget.getInstance(Type type)
|
static Target |
CheckedTarget.getInstance(Type type,
LambdaExp proc,
int argno)
|
static Target |
CheckedTarget.getInstance(Type type,
java.lang.String procname,
int argno)
|
Type |
Language.getLangTypeFor(Type type)
|
static PrimProcedure |
PrimProcedure.getMethodFor(ClassType procClass,
java.lang.String name,
Declaration decl,
Type[] atypes,
Language language)
|
static PrimProcedure |
PrimProcedure.getMethodFor(Procedure pproc,
Declaration decl,
Type[] atypes,
Language language)
|
int |
PrimProcedure.isApplicable(Type[] argTypes)
|
int |
GenericProc.isApplicable(Type[] args)
|
Declaration |
Compilation.letVariable(java.lang.Object name,
Type type,
Expression init)
|
Declaration |
Compilation.loopVariable(java.lang.Object name,
Type type,
Expression init)
|
static PrimProcedure |
PrimProcedure.makeBuiltinBinary(int opcode,
Type type)
|
static PrimProcedure |
PrimProcedure.makeBuiltinUnary(int opcode,
Type type)
|
static Expression |
Compilation.makeCoercion(Expression value,
Type type)
Convenience method to make an Expression that coerces a value. |
Expression |
InlineCalls.maybeInline(ApplyExp exp,
Type required,
Procedure proc)
|
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 |
PrimProcedure.setReturnType(Type retType)
|
void |
LambdaExp.setReturnType(Type returnType)
|
void |
Declaration.setType(Type type)
|
void |
QuoteExp.setType(Type type)
|
void |
ApplyExp.setType(Type type)
|
static Type |
Language.unionType(Type t1,
Type t2)
|
void |
Compilation.usedClass(Type type)
Called for classes referenced in bytecode. |
Expression |
QuoteExp.validateApply(ApplyExp exp,
InlineCalls visitor,
Type required,
Declaration decl)
|
Expression |
LambdaExp.validateApply(ApplyExp exp,
InlineCalls visitor,
Type required,
Declaration decl)
|
Expression |
Expression.validateApply(ApplyExp exp,
InlineCalls visitor,
Type required,
Declaration decl)
Apply inlining transformations on a given ApplyExp. |
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.visitIfExp(IfExp exp,
Type required)
|
protected Expression |
InlineCalls.visitLambdaExp(LambdaExp exp,
Type required)
|
protected Expression |
InlineCalls.visitLetExp(LetExp 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.visitSetExpValue(Expression new_value,
Type required,
Declaration decl)
|
protected Expression |
InlineCalls.visitTryExp(TryExp exp,
Type required)
|
Constructors in gnu.expr with parameters of type Type | |
---|---|
CheckedTarget(Type type)
|
|
CheckedTarget(Type type,
LambdaExp proc,
int argno)
|
|
CheckedTarget(Type type,
java.lang.String procname,
int argno)
|
|
Declaration(java.lang.Object name,
Type type)
|
|
Literal(java.lang.Object value,
Type type,
LitTable litTable)
|
|
PrimProcedure(int op_code,
ClassType classtype,
java.lang.String name,
Type retType,
Type[] argTypes)
|
|
PrimProcedure(int op_code,
ClassType classtype,
java.lang.String name,
Type retType,
Type[] argTypes)
|
|
PrimProcedure(int opcode,
Type retType,
Type[] argTypes)
|
|
PrimProcedure(int opcode,
Type retType,
Type[] argTypes)
|
|
QuoteExp(java.lang.Object val,
Type type)
|
|
StackTarget(Type type)
|
Uses of Type in gnu.jemacs.lang |
---|
Methods in gnu.jemacs.lang that return Type | |
---|---|
Type |
ELisp.getTypeFor(java.lang.Class clas)
|
Type |
ELisp.getTypeFor(java.lang.String name)
|
Uses of Type in gnu.kawa.functions |
---|
Methods in gnu.kawa.functions that return Type | |
---|---|
Type |
CallCC.getReturnType(Expression[] args)
|
Type |
IsEq.getReturnType(Expression[] args)
|
Type |
ValuesMap.getReturnType(Expression[] args)
|
Type |
CompileArith.getReturnType(Expression[] args)
|
Type |
AppendValues.getReturnType(Expression[] args)
|
Type |
GetModuleClass.getReturnType(Expression[] args)
|
Type |
NumberCompare.getReturnType(Expression[] args)
|
Type |
MakeList.getReturnType(Expression[] args)
|
static Type |
Arithmetic.kindType(int kind)
|
Methods in gnu.kawa.functions with parameters of type Type | |
---|---|
static int |
ArithOp.classify(Type type)
Classify an expression according to its numeric type. |
static int |
Arithmetic.classifyType(Type type)
|
static java.lang.Object |
GetNamedPart.getTypePart(Type type,
java.lang.String name)
|
static Expression |
CompileNamedPart.makeExp(Type type,
java.lang.String member)
|
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.validateApplyMakeProcedure(ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc)
|
static Expression |
CompileMisc.validateApplyMap(ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure xproc)
|
static Expression |
CompileMisc.validateApplyNot(ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc)
|
static Expression |
CompileArith.validateApplyNumberCompare(ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc)
|
static Expression |
CompileArith.validateApplyNumberPredicate(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 |
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 | |
---|---|
class |
LangObjType
A wrapper around a class type. |
class |
LangPrimType
Use to implement some special types that convert differently. |
Methods in gnu.kawa.lispexpr that return Type | |
---|---|
static Type |
LangObjType.coerceToType(java.lang.Object obj)
|
static Type |
LangObjType.coerceToTypeOrNull(java.lang.Object type)
|
Type |
LangObjType.getImplementationType()
|
Type |
LangPrimType.getImplementationType()
|
Type |
LangObjType.getRealType()
|
Methods in gnu.kawa.lispexpr with parameters of type Type | |
---|---|
int |
LangObjType.compare(Type other)
|
int |
LangPrimType.compare(Type other)
|
void |
LangObjType.emitConvertFromPrimitive(Type stackType,
CodeAttr code)
|
Method |
LangObjType.getMethod(java.lang.String name,
Type[] arg_types)
|
void |
ReadTable.putReaderCtor(java.lang.String key,
Type type)
Add a mapping for a SRFI-10 constructor tag. |
Uses of Type in gnu.kawa.reflect |
---|
Subclasses of Type in gnu.kawa.reflect | |
---|---|
class |
OccurrenceType
A type that matches some number of repetitions of a basetype. |
class |
SingletonType
|
Fields in gnu.kawa.reflect declared as Type | |
---|---|
static Type |
OccurrenceType.emptySequenceType
|
Methods in gnu.kawa.reflect that return Type | |
---|---|
Type |
OccurrenceType.getBase()
|
Type |
FieldLocation.getFType()
Get the type of the field. |
Type |
SingletonType.getImplementationType()
|
Type |
OccurrenceType.getImplementationType()
|
static Type |
OccurrenceType.getInstance(Type base,
int minOccurs,
int maxOccurs)
|
Type |
InstanceOf.getReturnType(Expression[] args)
|
Type |
TypeSwitch.getReturnType(Expression[] args)
|
Type |
StaticSet.getReturnType(Expression[] args)
|
Type |
SlotGet.getReturnType(Expression[] args)
|
Type |
StaticGet.getReturnType(Expression[] args)
|
static Type |
OccurrenceType.itemPrimeType(Type type)
QUery formal semantics "prime type" |
Methods in gnu.kawa.reflect with parameters of type Type | |
---|---|
static int |
CompileReflect.checkKnownClass(Type type,
Compilation comp)
Check if class exists. |
int |
SingletonType.compare(Type other)
|
int |
OccurrenceType.compare(Type other)
|
static Type |
OccurrenceType.getInstance(Type base,
int minOccurs,
int maxOccurs)
|
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.itemCountRange(Type type)
Return a conservative estimage on the min/max number of items of a type. |
static Type |
OccurrenceType.itemPrimeType(Type type)
QUery formal semantics "prime type" |
static long |
ClassMethods.selectApplicable(PrimProcedure[] methods,
Type[] atypes)
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). |
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)
|
Constructors in gnu.kawa.reflect with parameters of type Type | |
---|---|
ArrayGet(Type element_type)
|
|
ArrayLength(Type element_type)
|
|
ArrayNew(Type element_type)
|
|
ArraySet(Type element_type)
|
|
OccurrenceType(Type base,
int minOccurs,
int maxOccurs)
|
|
StaticGet(ClassType ctype,
java.lang.String name,
Type ftype,
int flags)
|
|
StaticSet(ClassType ctype,
java.lang.String name,
Type ftype,
int flags)
|
Uses of Type in gnu.kawa.xml |
---|
Subclasses of Type in gnu.kawa.xml | |
---|---|
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 | |
---|---|
Type |
NodeType.getImplementationType()
|
Type |
XDataType.getImplementationType()
|
Type |
AttributeType.getImplementationType()
|
Type |
ProcessingInstructionType.getImplementationType()
|
Type |
ElementType.getImplementationType()
|
static Type |
NodeSetType.getInstance(Type base)
|
Type |
SortNodes.getReturnType(Expression[] args)
|
Type |
MakeAttribute.getReturnType(Expression[] args)
|
Type |
CoerceNodes.getReturnType(Expression[] args)
|
Type |
NodeConstructor.getReturnType(Expression[] args)
|
Type |
MakeElement.getReturnType(Expression[] args)
|
Type |
UnionNodes.getReturnType(Expression[] args)
|
Methods in gnu.kawa.xml with parameters of type Type | |
---|---|
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 | |
---|---|
NodeSetType(Type itemType)
|
|
XDataType(java.lang.Object name,
Type implementationType,
int typeCode)
|
Uses of Type in gnu.mapping |
---|
Methods in gnu.mapping that return Type | |
---|---|
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 | |
---|---|
int |
MethodProc.isApplicable(Type[] argTypes)
Test if method is applicable to an invocation with given arguments. |
Constructors in gnu.mapping with parameters of type Type | |
---|---|
WrongType(int n,
java.lang.Object argValue,
Type expectedType)
|
|
WrongType(Procedure proc,
int n,
java.lang.Object argValue,
Type expectedType)
|
Uses of Type in gnu.xquery.lang |
---|
Methods in gnu.xquery.lang that return Type | |
---|---|
static Type |
XQuery.getStandardType(java.lang.String name)
|
Type |
XQuery.getTypeFor(java.lang.Class clas)
|
Type |
XQuery.getTypeFor(java.lang.String name)
|
Methods in gnu.xquery.lang with parameters of type Type | |
---|---|
java.lang.String |
XQuery.formatType(Type type)
|
Uses of Type in gnu.xquery.util |
---|
Methods in gnu.xquery.util that return Type | |
---|---|
Type |
RelativeStep.getReturnType(Expression[] args)
|
Type |
ValuesFilter.getReturnType(Expression[] args)
|
Type |
ArithOp.getReturnType(Expression[] args)
|
Type |
OrderedMap.getReturnType(Expression[] args)
|
Methods in gnu.xquery.util with parameters of type Type | |
---|---|
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 the ValuesFilter 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 |
---|
Methods in kawa.lang that return Type | |
---|---|
Type |
Translator.exp2Type(Pair typeSpecPair)
Extract a type from the car of a pair. |
Type |
SetFieldProc.getReturnType(Expression[] args)
|
Type |
GetFieldProc.getReturnType(Expression[] args)
|
Constructors in kawa.lang with parameters of type Type | |
---|---|
GetFieldProc(ClassType ctype,
java.lang.String name,
Type ftype,
int flags)
|
|
SetFieldProc(ClassType ctype,
java.lang.String name,
Type ftype,
int flags)
|
Uses of Type in kawa.standard |
---|
Methods in kawa.standard that return Type | |
---|---|
static Type |
Scheme.exp2Type(Expression exp)
Convert expression to a Type. |
static Type |
Scheme.getNamedType(java.lang.String name)
|
Type |
prim_throw.getReturnType(Expression[] args)
|
Type |
Scheme.getTypeFor(java.lang.Class clas)
|
Type |
Scheme.getTypeFor(java.lang.String name)
|
static Type |
Scheme.getTypeValue(Expression exp)
If exp is a "constant" Type, return that type, otherwise return null. |
static Type |
Scheme.string2Type(java.lang.String name)
|
Methods in kawa.standard with parameters of type Type | |
---|---|
java.lang.String |
Scheme.formatType(Type type)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |