Uses of Class
at.dms.kjc.CType

Packages that use CType
at.dms.kjc   
 

Uses of CType in at.dms.kjc
 

Subclasses of CType in at.dms.kjc
 class CArrayType
          This class represents the type of an array in the type structure.
 class CBooleanType
          A representation of the boolean type.
 class CClassNameType
          ClassTypes that are referred to by name and that are resolved when needed.
 class CClassType
          This class represents class types in the type structure.
 class CNullType
          This class represents null class type in the type structure.
 class CNumericType
          This class represents java and kopi numericals types Such as byte, short, int, long, float, double
 class COuterThisType
          This class represents a special outer-this class type in the type structure.
(package private)  class CVoidType
          This class represents java and kopi numericals types Such as byte, short, int, long, float, double
 

Fields in at.dms.kjc declared as CType
protected  CType JBinaryExpression.type
           
protected  CType JLocalVariable.type
          Type of local var.
protected  CType JPrefixExpression.type
           
protected  CType JUnaryExpression.type
           
protected  CType JNewArrayExpression.baseType
           
protected  CType JNewArrayExpression.type
           
protected  CType JCastExpression.dest
           
protected  CType JPostfixExpression.type
           
 

Methods in at.dms.kjc that return CType
static CType CType.parseSignature(java.lang.String signature)
          Parse a java type signature.
static CType[] CType.parseMethodSignature(java.lang.String sig)
          Returns an array of types represented by the type signature.
abstract  CType JExpression.getType()
          Returns the type of this expression (call after parsing only)
 CType JBinaryExpression.getType()
          Returns the type of the whole expression.
 CType JBinaryExpression.promote(CExpressionContext context)
          Apply binary numeric promotion (JLS2 5.6.2)
static CType JBinaryArithmeticExpression.computeType(CType leftType, CType rightType, MessageDescription badTypeMessage)
          Default rule for the type of the result of the binary arithmetic expression.
 CType JUnaryPromote.getType()
          Compute the type of this expression.
static CType JShiftExpression.computeType(CType leftType, CType rightType, MessageDescription badTypeMessage)
          compute the type of this expression according to operands
static CType JBitwiseExpression.computeType(CType left, CType right, MessageDescription badTypeMessage)
          See superclass javadoc.
 CType KjcParser.jTypeSpec()
           
 CType KjcParser.jBuiltInTypeSpec()
           
 CType KjcParser.jBuiltInType()
           
 CType KjcParser.jType()
           
 CType SignatureParser.parseSignature(java.lang.String signature)
          Parse a java type signature.
 CType SignatureParser.parseSignature(java.lang.String signature, int from, int to)
          Parse a java type signature from the substring of signature that starts at index from and ends just before to.
 CType[] SignatureParser.parseMethodSignature(java.lang.String signature)
          Returns an array of types represented by the type signature For methods, the return type is the last element of the array
 CType[] CClass.genConstructorArray(CType[] params)
          Add synthetic parameters to method def.
 CType JClassFieldExpression.getType()
          Compute the type of this expression.
 CType JMethodDeclaration.getReturnType()
           
 CType JOrdinalLiteral.getType()
          Compute the type of this expression (called after parsing.)
 CType JMethodCallExpression.getType()
           
 CType JThisExpression.getType()
          Compute the type of this expression (called after parsing)
 CType JLocalVariable.getType()
           
 CType JNullLiteral.getType()
          Compute the type of this expression (called after parsing)
 CType JPrefixExpression.getType()
          Compute the type of this expression (called after parsing)
 CType CArrayType.getBaseType()
          Returns the base class of this type.
 CType CArrayType.getIndexedType()
          Returns the type that has one dimension less than this array type.
 CType JNameExpression.getType()
          Compute the type of this expression (called after parsing).
 CType JInstanceofExpression.getType()
          Compute the type of this expression.
 CType JStringLiteral.getType()
          Compute the type of this expression (called after parsing)
 CType JNewObjectExpression.getType()
          Compute the type of this expression.
protected  CType[] JNewObjectExpression.checkTypes(CExpressionContext context)
          ...
protected  CType[] JNewAnonymousClassExpression.checkTypes(CExpressionContext context)
          Checks types of this expression.
 CType JUnaryExpression.getType()
          Compute the type of this expression (called after parsing)
 CType JArrayInitializer.getType()
          Compute the type of this expression (called after parsing)
 CType JReturnStatement.getType()
          Returns the type of this return statement.
 CType JNewArrayExpression.getType()
          Compute the type of this expression (called after parsing)
 CType JTypeNameExpression.getType()
          Compute the type of this expression (called after parsing)
static CType CNumericType.unaryPromote(CType type)
          Returns the unary-promoted type for the argument type.
static CType CNumericType.binaryPromote(CType left, CType right)
          Returns the type to which both operands in a binary expression must be promoted before the operation is performed.
 CType JParenthesedExpression.getType()
          Compute the type of this expression (called after parsing)
 CType CMethod.getReturnType()
           
 CType[] CMethod.getParameters()
           
 CType JLocalVariableExpression.getType()
          Compute the type of this expression.
 CType CField.getType()
           
 CType JCastExpression.getType()
          Compute the type of this expression.
 CType JPostfixExpression.getType()
          Compute the type of this expression (called after parsing)
 CType JFieldDeclaration.getType()
          Returns the type of this field.
 CType JExplicitConstructorInvocation.getType()
           
 CType JArrayAccessExpression.getType()
           
 CType[] CSourceClass.genConstructorArray(CType[] params)
          add synthetic parameters to method def
 CType JArrayDimsAndInits.checkExpression(CExpressionContext context, CType type)
          Check expression and evaluate and alter context
 CType JCheckedExpression.getType()
          Compute the type of this expression (called after parsing)
 CType JFormalParameter.checkInterface(CContext context)
          Second pass (quick), check interface looks good Exceptions are not allowed here, this pass is just a tuning pass in order to create informations about exported elements such as Classes, Interfaces, Methods, Constructors and Fields sub classes must check modifiers and call checkInterface(super)
 CType JBooleanLiteral.getType()
          Compute the type of this expression (called after parsing.)
 CType JClassExpression.getType()
          Compute the type of this expression (called after parsing)
 CType JRealLiteral.getType()
          Compute the type of this expression.
 CType JArrayLengthExpression.getType()
          Compute the type of this expression.
static CType JAddExpression.computeType(CType left, CType right, MessageDescription badTypeMessage)
          compute the type of this expression according to operands
 CType JConditionalExpression.getType()
          Compute the type of this expression (called after parsing)
 

Methods in at.dms.kjc with parameters of type CType
 boolean CType.equals(CType other)
          Default equals for type abstractions.
abstract  boolean CType.isCastableTo(CType dest)
          Can this type be converted to the specified type by casting conversion (JLS 5.5) ?
 boolean CType.implicitlyCastTo(CType dest)
          implicitlyCastTo.
abstract  boolean CType.isAssignableTo(CType dest)
          Can this type be converted to the specified type by assignment conversion (JLS 5.2) ?
static java.lang.String CType.genMethodSignature(CType returnType, CType[] parameters)
          Generate a method signature.
 boolean CClassType.equals(CType other)
          equals.
 boolean CClassType.isAssignableTo(CType destination)
          isAssignableTo
 boolean CClassType.isCastableTo(CType destination)
          Can this type be converted to the specified type by casting conversion (JLS 5.5) ?
 boolean CClassType.implicitlyCastTo(CType destination)
          implicitlyCastTo.
 boolean CNullType.isAssignableTo(CType dest)
          isAssignableTo.
 boolean CNullType.isCastableTo(CType dest)
          isCastableTo.
 boolean CNullType.implicitlyCastTo(CType dest)
          implicitlyCastTo.
 CMethod CContext.lookupMethod(CClass caller, java.lang.String ident, CType[] params)
          Search for a matching method with the provided type parameters.
 boolean CVoidType.isAssignableTo(CType dest)
          isAssignableTo
 boolean CVoidType.isCastableTo(CType dest)
          isCastableTo
 JExpression JExpression.convertType(CType dest, CExpressionContext context)
          Changes the type of this expression to an other type.
 boolean JExpression.isAssignableTo(CType dest)
          Can this expression be converted to the specified type by assignment conversion (JLS 5.2) ?
static JLiteral JLiteral.createLiteral(CType type, java.lang.Object value)
          Create a literal from a type and a value.
protected  void JBinaryExpression.setType(CType type)
          Sets the type of the whole expression.
static CType JBinaryArithmeticExpression.computeType(CType leftType, CType rightType, MessageDescription badTypeMessage)
          Default rule for the type of the result of the binary arithmetic expression.
static int JModuloExpression.getOpcode(CType type)
           
static CType JShiftExpression.computeType(CType leftType, CType rightType, MessageDescription badTypeMessage)
          compute the type of this expression according to operands
static int JShiftExpression.getOpcode(int oper, CType type)
           
static CType JBitwiseExpression.computeType(CType left, CType right, MessageDescription badTypeMessage)
          See superclass javadoc.
static int JBitwiseExpression.getOpcode(int oper, CType type)
          Returns the JVM opcode for this operation.
 JVariableDefinition[] KjcParser.jVariableDefinitions(int mods, CType type)
           
 JVariableDefinition KjcParser.jVariableDeclarator(int mods, CType type)
          Declaration of a variable.
 CMethod CClass.lookupMethod(CClass caller, java.lang.String name, CType[] params)
          Searches for an accessible, matching method with the provided type parameters.
 CMethod CClass.lookupSuperMethod(CClass caller, java.lang.String name, CType[] params)
          Searches for a matching method with the provided type parameters in the superclass and/or interfaces of this type.
 CType[] CClass.genConstructorArray(CType[] params)
          Add synthetic parameters to method def.
protected  void JOrdinalLiteral.setType(CType type)
          Sets the type if it is determined by a subclass.
 JExpression JOrdinalLiteral.convertType(CType dest, CExpressionContext context)
          Changes the type of this expression to an other.
 boolean JOrdinalLiteral.isAssignableTo(CType dest)
          Can this expression be converted to the specified type by assignment conversion (JLS 5.2)?
 JExpression JCharLiteral.convertType(CType dest, CExpressionContext context)
          Changes the type of this expression to an other.
static int JMultExpression.getOpcode(CType type)
          Returns the opcode for multiplication, depending on the type of the operands.
 boolean CArrayType.equals(CType other)
          Returns true if this type is equal to another CType.
 boolean CArrayType.isAssignableTo(CType dest)
          isAssignableTo
 boolean CArrayType.isCastableTo(CType dest)
          Can this type be converted to the specified type by casting conversion (JLS 5.5) ?
 boolean CArrayType.implicitlyCastTo(CType dest)
          implicitlyCastTo
static int JMinusExpression.getOpcode(CType type)
          Returns the opcode for this operation.
protected  JExpression JNewObjectExpression.checkCall(CExpressionContext context, CType[] argsType)
          ...
 void JArrayInitializer.setType(CType type)
          Check expression and evaluate and alter context.
static int JDivideExpression.getOpcode(CType type)
           
 void KjcPrettyPrinter.visitFieldDeclaration(JFieldDeclaration self, int modifiers, CType type, java.lang.String ident, JExpression expr)
          prints a field declaration
 void KjcPrettyPrinter.visitMethodDeclaration(JMethodDeclaration self, int modifiers, CType returnType, java.lang.String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body)
          prints a method declaration
 void KjcPrettyPrinter.visitVariableDefinition(JVariableDefinition self, int modifiers, CType type, java.lang.String ident, JExpression expr)
          prints a variable declaration statement
 void KjcPrettyPrinter.visitTypeNameExpression(JTypeNameExpression self, CType type)
          prints a type name expression
 void KjcPrettyPrinter.visitNewArrayExpression(JNewArrayExpression self, CType type, JArrayDimsAndInits dims)
          prints an array allocator expression
 void KjcPrettyPrinter.visitInstanceofExpression(JInstanceofExpression self, JExpression expr, CType dest)
          prints an instanceof expression
 void KjcPrettyPrinter.visitClassExpression(JClassExpression self, CType type)
          prints a class expression
 void KjcPrettyPrinter.visitCastExpression(JCastExpression self, JExpression expr, CType type)
          prints a cast expression
 void KjcPrettyPrinter.visitUnaryPromoteExpression(JUnaryPromote self, JExpression expr, CType type)
          prints a cast expression
 void KjcPrettyPrinter.visitFormalParameters(JFormalParameter self, boolean isFinal, CType type, java.lang.String ident)
          prints a list of formal parameters to a method
 boolean CNumericType.isAssignableTo(CType dest)
          isAssignableTo
 boolean CNumericType.isCastableTo(CType dest)
          isCastableTo
 boolean CNumericType.implicitlyCastTo(CType dest)
          implicitlyCastTo
static CType CNumericType.unaryPromote(CType type)
          Returns the unary-promoted type for the argument type.
static CType CNumericType.binaryPromote(CType left, CType right)
          Returns the type to which both operands in a binary expression must be promoted before the operation is performed.
 boolean CMethod.isMatching(java.lang.String ident, CType[] actuals)
          isMatching search if this matches with the provided type parameters
 boolean CMethod.isMatchingParams(CType[] actuals)
          isMatching search if this matches with the provided type parameters
 boolean CBooleanType.isAssignableTo(CType dest)
          isAssignableTo
 boolean CBooleanType.isCastableTo(CType dest)
          Can this type be converted to the specified type by casting conversion (JLS 5.5) ?
 CType[] CSourceClass.genConstructorArray(CType[] params)
          add synthetic parameters to method def
 void KjcVisitor.visitFieldDeclaration(JFieldDeclaration self, int modifiers, CType type, java.lang.String ident, JExpression expr)
          visits a field declaration
 void KjcVisitor.visitMethodDeclaration(JMethodDeclaration self, int modifiers, CType returnType, java.lang.String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body)
          visits a method declaration
 void KjcVisitor.visitVariableDefinition(JVariableDefinition self, int modifiers, CType type, java.lang.String ident, JExpression expr)
          visits a variable declaration statement
 void KjcVisitor.visitTypeNameExpression(JTypeNameExpression self, CType type)
          visits a type name expression
 void KjcVisitor.visitNewArrayExpression(JNewArrayExpression self, CType type, JArrayDimsAndInits dims)
          visits an array allocator expression
 void KjcVisitor.visitInstanceofExpression(JInstanceofExpression self, JExpression expr, CType dest)
          visits an instanceof expression
 void KjcVisitor.visitClassExpression(JClassExpression self, CType type)
          visits a class expression
 void KjcVisitor.visitCastExpression(JCastExpression self, JExpression expr, CType type)
          visits a cast expression
 void KjcVisitor.visitUnaryPromoteExpression(JUnaryPromote self, JExpression expr, CType type)
          visits a cast expression
 void KjcVisitor.visitFormalParameters(JFormalParameter self, boolean isFinal, CType type, java.lang.String ident)
          visits an array length expression
 CType JArrayDimsAndInits.checkExpression(CExpressionContext context, CType type)
          Check expression and evaluate and alter context
 JExpression JRealLiteral.convertType(CType dest, CExpressionContext context)
          Changes the type of this expression to an other type.
 CMethod CClassContext.lookupMethod(CClass caller, java.lang.String ident, CType[] params)
          Searches for a matching method with the provided type parameters.
static CType JAddExpression.computeType(CType left, CType right, MessageDescription badTypeMessage)
          compute the type of this expression according to operands
static int JAddExpression.getOpcode(CType type)
           
 CMethod CBadClass.lookupMethod(CClass caller, java.lang.String name, CType[] params)
          Searches for an accessible, matching method with the provided type parameters.
 CMethod CBadClass.lookupSuperMethod(CClass caller, java.lang.String name, CType[] params)
          Searches for a matching method with the provided type parameters in the superclass and/or interfaces of this type.
 

Constructors in at.dms.kjc with parameters of type CType
JUnaryPromote(JExpression expr, CType type)
          Construct a node in the parsing tree.
JMethodDeclaration(TokenReference where, int modifiers, CType returnType, java.lang.String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
          Construct a node in the parsing tree.
JLocalVariable(TokenReference where, int modifiers, int desc, CType type, java.lang.String name, JExpression initializer)
          Constructs a local variable reference.
JVariableDefinition(TokenReference where, int modifiers, CType type, java.lang.String ident, JExpression initializer)
          Construct a node in the parsing tree.
CArrayType(CType baseType, int arrayBound)
          Constructs an array type.
JInstanceofExpression(TokenReference where, JExpression expr, CType dest)
          Construct a node in the parsing tree This method is directly called by the parser
CMethodNotFoundError(TokenReference where, JMethodCallExpression caller, java.lang.String name, CType[] types)
          Constructs an error with information about the method call.
JNewArrayExpression(TokenReference where, CType baseType, JArrayDimsAndInits dims)
          Construct a node in the parsing tree This method is directly called by the parser
CSwitchBodyContext(JSwitchStatement self, CBodyContext parent, CType switchType)
          Construct a block context, it supports local variable allocation throw self and return self.
CMethod(CClass owner, int modifiers, java.lang.String ident, CType returnType, CType[] parameters, CClassType[] exceptions, boolean deprecated)
          Constructs a method member.
CField(CClass owner, int modifiers, java.lang.String ident, CType type, boolean deprecated)
          Constructs a field export.
CSourceField(CClass owner, int modifiers, java.lang.String ident, CType type, boolean deprecated)
          Constructs a field export.
JCastExpression(TokenReference where, JExpression expr, CType dest)
          Constructs a node in the parsing tree.
JGeneratedLocalVariable(TokenReference where, int modifiers, CType type, java.lang.String name, JExpression value)
          Constructs a local variable definition.
JFormalParameter(TokenReference where, int desc, CType type, java.lang.String ident, boolean isFinal)
          Construct a node in the parsing tree This method is directly called by the parser
CSourceMethod(CClass owner, int modifiers, java.lang.String ident, CType returnType, CType[] paramTypes, CClassType[] exceptions, boolean deprecated, JBlock body, int optimizingLevel)
          Constructs a source method export.
JClassExpression(TokenReference where, CType type)
          Construct a node in the parsing tree
JRealLiteral(TokenReference where, java.lang.Number value, CType type)
          Construct a node in the parsing tree.