Uses of Class gnu.bytecode.Type

Uses in package gnu.bytecode

Classes derived from gnu.bytecode.Type

class
class
class
Semi-abstract class object reference types.
class

Constructors with parameter type gnu.bytecode.Type

Type.Type(Type type)
Variable.Variable(String name, Type type)

Fields of type gnu.bytecode.Type

Type
Type
Type[]

Methods with parameter type gnu.bytecode.Type

Field
ClassType.addField(String name, Type type)
Field
ClassType.addField(String name, Type type, int flags)
Variable
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).
Method
ClassType.addMethod(String name, Type[] arg_types, Type return_type, int flags)
Method
ClassType.addMethod(String name, int flags, Type[] arg_types, Type return_type)
Add a method to this ClassType.
Variable
Scope.addVariable(CodeAttr code, Type type, String name)
boolean
CodeAttr.castNeeded(Type top, Type required)
int
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
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
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
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.
void
void
CodeAttr.emitArrayLoad(Type element_type)
Load an element from an array.
void
Store into an element of an array.
void
void
void
void
void
CodeAttr.emitNewArray(Type element_type)
void
CodeAttr.emitNewArray(Type element_type, int dims)
Compile code to allocate a new array.
void
void
CodeAttr.emitPrimop(int opcode, int arg_count, Type retType)
void
CodeAttr.emitPushConstant(int val, Type type)
void
CodeAttr.emitTryStart(boolean has_finally, Type result_type)
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)
boolean
Return true iff t1[i].isSubtype(t2[i]) for all i.
boolean
Return true if this is a "subtype" of other.
Type
Computes the common supertype Interfaces are not taken into account.
ArrayType
ArrayType.make(Type elements)
Find or create an ArrayType for the specified element type.
Method
Make a generic "clone" method.
void
void
void
void
Type.registerTypeForClass(Class clas, Type type)
Register that the Type for class is type.
void
Restore a type state as saved by saveStackTypeState.
void

Methods with return type gnu.bytecode.Type

Type
Type
Type
The type used to implement types not natively understood by the JVM.
Type
The type used to implement types not natively understood by the JVM.
Type[]
Type
Type
Type
Type.getType(String name)
Find an Type with the given name, or create a new one.
Type
Type.lookupType(String name)
Type
Computes the common supertype Interfaces are not taken into account.
Type
Type.make(Class reflectClass)
Type
Type
Type
Type[]
Return an object encapsulating the type state of the JVM stack.
Type
Type.signatureToType(String sig)
Get a Type corresponding to the given signature string.
Type
Type.signatureToType(String sig, int off, int len)
Get a Type corresponding to the given signature string.
Type

Uses in package gnu.commonlisp.lang

Methods with return type gnu.bytecode.Type

Type
CommonLisp.getTypeFor(Class clas)
Type
CommonLisp.getTypeFor(String name)

Uses in package gnu.expr

Classes derived from gnu.bytecode.Type

class
A class type implemented as a pair of an interface and a class.

Constructors with parameter type gnu.bytecode.Type

CheckedTarget.CheckedTarget(Type type, String procname, int argno)
CheckedTarget.CheckedTarget(Type type, LambdaExp proc, int argno)
Declaration.Declaration(Object s, Type type)
Literal.Literal(Object value, Type type, LitTable litTable)
PrimProcedure.PrimProcedure(int op_code, ClassType classtype, String name, Type retType, Type[] argTypes)
PrimProcedure.PrimProcedure(int opcode, Type retType, Type[] argTypes)
QuoteExp.QuoteExp(Object val, Type type)

Fields of type gnu.bytecode.Type

Type[]
Type[]
Type[]
Type[]
Type[]
Type
If non-null, the type of values returned by this function.
Type[]
Type[]
Type
Cache for getType().
Type
Type
Type

Methods with parameter type gnu.bytecode.Type

Declaration
ScopeExp.addDeclaration(Object name, Type type)
Create a new declaration in the current Scope.
Field
Compilation.allocLocalField(Type type, String name)
void
void
void
void
void
void
void
void
boolean
void
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.
void
StackTarget.convert(Compilation comp, Type stackType, Type targetType)
void
CheckedTarget.emitCheckedCoerce(Compilation comp, String procname, int argno, Type type)
void
CheckedTarget.emitCheckedCoerce(Compilation comp, LambdaExp proc, int argno, Type type)
void
CheckedTarget.emitCheckedCoerce(Compilation comp, LambdaExp proc, int argno, Type type, Variable argValue)
void
ModuleInfo
String
Target
Target
Target
CheckedTarget.getInstance(Type type, String procname, int argno)
Target
CheckedTarget.getInstance(Type type, LambdaExp proc, int argno)
Type
PrimProcedure
PrimProcedure.getMethodFor(ClassType procClass, String name, Declaration decl, Type[] atypes, Language language)
PrimProcedure
PrimProcedure.getMethodFor(Procedure pproc, Declaration decl, Type[] atypes, Language language)
int
Test if method is applicable to an invocation with given arguments.
Declaration
Compilation.letVariable(Object name, Type type, Expression init)
Declaration
Compilation.loopVariable(Object name, Type type, Expression init)
PrimProcedure
PrimProcedure
PrimProcedure.makeBuiltinUnary(int opcode, Type type)
Target
Return a Target to push a value of specified type on JCM stack.
void
void
void
void
void
Called for classes referenced in bytecode.

Methods with return type gnu.bytecode.Type

Type
Language.asType(Object spec)
"Coerce" a language-specific "type specifier" object to a Type.
Type
The lower-level Type used to represent instances of this type.
Type
Type
Type[]
Type
The return type of this function, i.e the type of its returned values.
Type
Type
Type
Type
Type
Type
Type
Type
Type
Type
Return the Type used to represent the values of this Expression.
Type
Return the Type used to represent the values of this Expression.
Type
Type
Return the Type used to represent the values of this Expression.
Type
Type
Type
Return the Type used to represent the values of this Expression.
Type
Type
Return the Type used to represent the values of this Expression.
Type
Type
Type
Return the Type used to represent the values of this Expression.
Type
Language.getTypeFor(Class clas)
Type
Language.getTypeFor(Object spec, boolean lenient)
Type
Language.getTypeFor(String name)
Type
Type
Language.getTypeFor(Expression exp, boolean lenient)
Type
Type
Return the parameter type of the "keyword/rest" parameters.
Type
Language.string2Type(String name)

Uses in package gnu.jemacs.lang

Methods with return type gnu.bytecode.Type

Type
ELisp.getTypeFor(Class clas)
Type
ELisp.getTypeFor(String name)

Uses in package gnu.kawa.functions

Methods with parameter type gnu.bytecode.Type

int
Classify an expression according to its numeric type.
Object
GetNamedPart.getTypePart(Type type, String name)
Expression
Convenience method to make an Expression that coerces a value.
Expression
GetNamedPart.makeExp(Type type, String member)

Methods with return type gnu.bytecode.Type

Type
Type
Type
Type
Type
Type
Type
Type

Uses in package gnu.kawa.lispexpr

Classes derived from gnu.bytecode.Type

class
class
Use to implement some special types that convert differently.

Methods with parameter type gnu.bytecode.Type

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
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.

Methods with return type gnu.bytecode.Type

Type
The type used to implement types not natively understood by the JVM.
Type
The type used to implement types not natively understood by the JVM.

Uses in package gnu.kawa.reflect

Classes derived from gnu.bytecode.Type

class
A type that matches some number of repetitions of a basetype.
class

Constructors with parameter type gnu.bytecode.Type

ArrayGet.ArrayGet(Type element_type)
ArrayNew.ArrayNew(Type element_type)
ArraySet.ArraySet(Type element_type)
OccurrenceType.OccurrenceType(Type base, int minOccurs, int maxOccurs)
StaticGet.StaticGet(ClassType ctype, String name, Type ftype, int flags)
StaticSet.StaticSet(ClassType ctype, String name, Type ftype, int flags)

Fields of type gnu.bytecode.Type

Type

Methods with parameter type gnu.bytecode.Type

int
Check if class exists.
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
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.
Type
OccurrenceType.getInstance(Type base, int minOccurs, int maxOccurs)
char
Returna a quantifer kind for a sequence type.
boolean
boolean
int
Return a conservative estimage on the min/max number of items of a type.
Type
QUery formal semantics "prime type"
long
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).

Methods with return type gnu.bytecode.Type

Type
Type
Get the type of the field.
Type
The type used to implement types not natively understood by the JVM.
Type
The type used to implement types not natively understood by the JVM.
Type
OccurrenceType.getInstance(Type base, int minOccurs, int maxOccurs)
Type
Type
Type
Type
Type
Type
Type
Type
Type
Type
Type
QUery formal semantics "prime type"

Uses in package gnu.kawa.servlet

Methods with return type gnu.bytecode.Type

Type
Type

Uses in package gnu.kawa.xml

Classes derived from gnu.bytecode.Type

class
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

Constructors with parameter type gnu.bytecode.Type

XDataType.XDataType(Object name, Type implementationType, int typeCode)

Methods with parameter type gnu.bytecode.Type

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
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.
Type

Methods with return type gnu.bytecode.Type

Type
The type used to implement types not natively understood by the JVM.
Type
Type
The type used to implement types not natively understood by the JVM.
Type
The type used to implement types not natively understood by the JVM.
Type
The type used to implement types not natively understood by the JVM.
Type
Type
Type
Type
Type
Type
Type

Uses in package gnu.mapping

Constructors with parameter type gnu.bytecode.Type

WrongType.WrongType(Procedure proc, int n, Object argValue, Type expectedType)

Methods with parameter type gnu.bytecode.Type

int
Test if method is applicable to an invocation with given arguments.

Methods with return type gnu.bytecode.Type

Type

Uses in package gnu.xquery.lang

Methods with parameter type gnu.bytecode.Type

String

Methods with return type gnu.bytecode.Type

Type
XQuery.getStandardType(String name)
Type
XQuery.getTypeFor(Class clas)
Type
XQuery.getTypeFor(String name)

Uses in package gnu.xquery.util

Methods with return type gnu.bytecode.Type

Type
Type
Type
Type

Uses in package kawa.lang

Constructors with parameter type gnu.bytecode.Type

GetFieldProc.GetFieldProc(ClassType ctype, String name, Type ftype, int flags)
SetFieldProc.SetFieldProc(ClassType ctype, String name, Type ftype, int flags)

Methods with return type gnu.bytecode.Type

Type
Translator.exp2Type(Pair typeSpecPair)
Extract a type from the car of a pair.
Type
Type

Uses in package kawa.standard

Methods with return type gnu.bytecode.Type

Type
Convert expression to a Type.
Type
Scheme.getNamedType(String name)
Type
Type
Type
Scheme.getTypeFor(Class clas)
Type
Scheme.getTypeFor(String name)
Type
If exp is a "constant" Type, return that type, otherwise return null.
Type
Scheme.string2Type(String name)