Uses of Class
gnu.bytecode.Type

Packages that use Type
gnu.bytecode Contains classes to generate, read, write, and print Java bytecode (.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.servlet   
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
           
 

Fields in gnu.bytecode declared as Type
 Type ArrayType.elements
           
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[] Method.getParameterTypes()
           
 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[] CodeAttr.saveStackTypeState(boolean clear)
          Return an object encapsulating the type state of the JVM stack.
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)
           
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 ObjectType.compare(Type other)
           
 int PrimType.compare(Type other)
           
 int ClassType.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.emitCheckcast(Type type)
           
 void CodeAttr.emitConvert(Type from, Type to)
           
 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)
           
 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(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)
           
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.
 void Method.maybe_compile_checkcast(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 CodeAttr.restoreStackTypeState(Type[] save)
          Restore a type state as saved by saveStackTypeState.
 void Location.setType(Type type)
           
 

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 QuoteExp.type
           
protected  Type ApplyExp.type
          Cache for getType().
 Type Literal.type
           
protected  Type Declaration.type
           
 

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 PrimProcedure.getReturnType()
           
 Type LambdaExp.getReturnType()
          The return type of this function, i.e the type of its returned values.
 Type Inlineable.getReturnType(Expression[] args)
           
 Type PrimProcedure.getReturnType(Expression[] args)
           
abstract  Type Target.getType()
           
 Type ReferenceExp.getType()
           
 Type ConsumerTarget.getType()
           
 Type QuoteExp.getType()
           
 Type ExitExp.getType()
           
 Type Expression.getType()
          Return the Type used to represent the values of this Expression.
 Type ThisExp.getType()
           
 Type ConditionalTarget.getType()
           
 Type SeriesTarget.getType()
           
 Type ApplyExp.getType()
           
 Type SetExp.getType()
           
 Type IgnoreTarget.getType()
           
 Type StackTarget.getType()
           
 Type IfExp.getType()
           
 Type LetExp.getType()
           
 Type BeginExp.getType()
           
 Type LambdaExp.getType()
           
 Type Declaration.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)
           
 

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)
           
 void Expression.compile(Compilation comp, Type type)
           
abstract  void Target.compileFromStack(Compilation comp, Type stackType)
           
 void CheckedTarget.compileFromStack(Compilation comp, Type stackType)
           
 void ConsumerTarget.compileFromStack(Compilation comp, Type stackType)
           
 void ConditionalTarget.compileFromStack(Compilation comp, Type stackType)
           
 void SeriesTarget.compileFromStack(Compilation comp, Type stackType)
           
 void IgnoreTarget.compileFromStack(Compilation comp, Type stackType)
           
 void StackTarget.compileFromStack(Compilation comp, Type stackType)
           
protected  boolean StackTarget.compileFromStack0(Compilation comp, Type stackType)
           
 void SeriesTarget.compileFromStackSimple(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)
           
static ModuleInfo ModuleInfo.find(Type type)
           
 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 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 Target Target.pushValue(Type type)
          Return a Target to push a value of specified type on JCM stack.
 void PrimProcedure.setReturnType(Type retType)
           
 void LambdaExp.setReturnType(Type returnType)
           
 void ApplyExp.setType(Type type)
           
 void Declaration.setType(Type type)
           
 void Compilation.usedClass(Type type)
          Called for classes referenced in bytecode.
 

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 s, 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 MakeList.getReturnType(Expression[] args)
           
 Type AppendValues.getReturnType(Expression[] args)
           
 Type NumberCompare.getReturnType(Expression[] args)
           
 Type Convert.getReturnType(Expression[] args)
           
 Type GetModuleClass.getReturnType(Expression[] args)
           
 Type ValuesMap.getReturnType(Expression[] args)
           
 Type IsEq.getReturnType(Expression[] args)
           
 Type AddOp.getReturnType(Expression[] args)
           
 

Methods in gnu.kawa.functions with parameters of type Type
static int AddOp.classify(Type type)
          Classify an expression according to its numeric type.
static java.lang.Object GetNamedPart.getTypePart(Type type, java.lang.String name)
           
static Expression Convert.makeCoercion(Expression value, Type type)
          Convenience method to make an Expression that coerces a value.
static Expression GetNamedPart.makeExp(Type type, java.lang.String member)
           
 

Uses of Type in gnu.kawa.lispexpr
 

Subclasses of Type in gnu.kawa.lispexpr
 class LangObjType
           
 class LangPrimType
          Use to implement some special types that convert differently.
 

Methods in gnu.kawa.lispexpr that return Type
 Type LangPrimType.getImplementationType()
           
 Type LangObjType.getImplementationType()
           
 

Methods in gnu.kawa.lispexpr with parameters of type Type
 int LangPrimType.compare(Type other)
           
 int LangObjType.compare(Type other)
           
 

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 TypeSwitch.getReturnType(Expression[] args)
           
 Type StaticGet.getReturnType(Expression[] args)
           
 Type ArraySet.getReturnType(Expression[] args)
           
 Type InstanceOf.getReturnType(Expression[] args)
           
 Type ArrayNew.getReturnType(Expression[] args)
           
 Type SlotGet.getReturnType(Expression[] args)
           
 Type ArrayLength.getReturnType(Expression[] args)
           
 Type ArrayGet.getReturnType(Expression[] args)
           
 Type SlotSet.getReturnType(Expression[] args)
           
 Type StaticSet.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 Invoke.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).
 

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

Methods in gnu.kawa.servlet that return Type
 Type GetResponse.getReturnType(Expression[] args)
           
 Type GetRequest.getReturnType(Expression[] args)
           
 

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 ProcessingInstructionType.getImplementationType()
           
 Type ElementType.getImplementationType()
           
 Type NodeType.getImplementationType()
           
 Type AttributeType.getImplementationType()
           
 Type XDataType.getImplementationType()
           
static Type NodeSetType.getInstance(Type base)
           
 Type NodeConstructor.getReturnType(Expression[] args)
           
 Type SortNodes.getReturnType(Expression[] args)
           
 Type MakeAttribute.getReturnType(Expression[] args)
           
 Type MakeElement.getReturnType(Expression[] args)
           
 Type CoerceNodes.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)
           
 

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)
           
 

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(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 OrderedMap.getReturnType(Expression[] args)
           
 Type ArithOp.getReturnType(Expression[] args)
           
 

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 not.getReturnType(Expression[] args)
           
 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)