Frames | No Frames |
Classes derived from gnu.bytecode.Type | |
class | |
class | |
class | Semi-abstract class object reference types. |
class |
Constructors with parameter type gnu.bytecode.Type | |
Fields of type gnu.bytecode.Type | |
Type | |
Type | |
Type[] |
Methods with parameter type gnu.bytecode.Type | |
Field | |
Field | |
Variable | Add a new local variable (in the current scope). |
Variable | Add a new local variable (in the current scope). |
Method | |
Method | Add a method to this ClassType. |
Variable | |
boolean | |
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 | 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 | Load an element from an array. |
void | Store into an element of an array. |
void | |
void | |
void | |
void | |
void | |
void | Compile code to allocate a new array. |
void | |
void | |
void | |
void | |
Method | Look for a matching method. |
Method[] | |
Method | |
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 | Find or create an ArrayType for the specified element type. |
Method | Make a generic "clone" method. |
void | |
void | |
void | |
void | 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 | 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 | |
Type | |
Type | |
Type[] | CodeAttr.saveStackTypeState(boolean clear) 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 |
Methods with return type gnu.bytecode.Type | |
Type | CommonLisp.getTypeFor(Class clas) |
Type | CommonLisp.getTypeFor(String name) |
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 | |
PrimProcedure.PrimProcedure(int op_code, ClassType classtype, String name, Type retType, Type[] argTypes) | |
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 | Create a new declaration in the current Scope. |
Field | |
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 | |
void | |
void | |
void | CheckedTarget.emitCheckedCoerce(Compilation comp, LambdaExp proc, int argno, Type type, Variable argValue) |
void | |
ModuleInfo | |
String | |
Target | |
Target | |
Target | |
Target | |
Type | |
PrimProcedure | PrimProcedure.getMethodFor(ClassType procClass, String name, Declaration decl, Type[] atypes, Language language) |
PrimProcedure | |
int | Test if method is applicable to an invocation with given arguments. |
Declaration | |
Declaration | |
PrimProcedure | |
PrimProcedure | |
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 | "Coerce" a language-specific "type specifier" object to a Type. |
Type | The lower-level Type used to represent instances of this type. |
Type | |
Type | PrimProcedure.getParameterType(int index) |
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 | |
Type | |
Type | Return the parameter type of the "keyword/rest" parameters. |
Type | Language.string2Type(String name) |
Methods with return type gnu.bytecode.Type | |
Type | ELisp.getTypeFor(Class clas) |
Type | ELisp.getTypeFor(String name) |
Methods with parameter type gnu.bytecode.Type | |
int | Classify an expression according to its numeric type. |
Object | |
Expression | Convenience method to make an Expression that coerces a value. |
Expression |
Methods with return type gnu.bytecode.Type | |
Type | |
Type | |
Type | |
Type | |
Type | |
Type | |
Type | |
Type |
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. |
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 | |
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 | |
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 | |
Type | |
Type | |
Type | |
Type | |
Type | |
Type | |
Type | |
Type | |
Type | |
Type | |
Type | QUery formal semantics "prime type"
|
Methods with return type gnu.bytecode.Type | |
Type | |
Type |
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 | |
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 |
Constructors with parameter type gnu.bytecode.Type | |
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 | MethodProc.getParameterType(int index) |
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) |
Methods with return type gnu.bytecode.Type | |
Type | |
Type | |
Type | |
Type |
Constructors with parameter type gnu.bytecode.Type | |
Methods with return type gnu.bytecode.Type | |
Type | Extract a type from the car of a pair. |
Type | |
Type |
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) |