|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |