Module xl.compiler

Package de.grogra.xl.compiler

Class CompilerBase

java.lang.Object

antlr.TreeParser

de.grogra.xl.compiler.CompilerBase

All Implemented Interfaces:

CompilerTokenTypes, Members.Resolution

Direct Known Subclasses:

Compiler

public abstract class CompilerBase
extends antlr.TreeParser
implements CompilerTokenTypes, Members.Resolution

This helper class is the superclass of Compiler. Its members would normally be declared in Compiler. However, since the latter class is generated by ANTLR from a grammar file, it is more convenient to extract these members to a helper class which is defined by this conventional Java source file.

Author:

Ole Kniemeyer

Field Summary

Fields

Modifier and Type	Field	Description
static final int	COMPILATION	Constant for run indicating the third, final run.
CompilationUnitScope	currentCompilationUnitScope	Stores the current CompilationUnitScope, if one was set.
static final int	EXPR_FINAL
static final int	EXPR_THIS
static final I18NBundle	I18N	Resource bundle for messages.
static final int	METHOD_DECLARATION	Constant for run indicating the second run.
static final long	MOD_CONST
static final long	MOD_CONSTRUCTOR
static final long	MOD_IMPLICIT_ARGUMENT
static final long	MOD_INITIALIZER
static final long	MOD_INSTANTIATOR
static final long	MOD_ITERATING
static final long	MOD_MODULE
static final long	MOD_PARAMETER
static final long	MOD_ROUTINE
static final long	MOD_STATIC_MEMBER_CLASSES
static final long	MOD_THIS_PARAMETER
static final String	OPERATOR_NAME_ADD
static final String	OPERATOR_NAME_ADD_ASSIGN
static final String	OPERATOR_NAME_AND
static final String	OPERATOR_NAME_AND_ASSIGN
static final String	OPERATOR_NAME_ARROW
static final String	OPERATOR_NAME_CAND
static final String	OPERATOR_NAME_CMP
static final String	OPERATOR_NAME_COM
static final String	OPERATOR_NAME_COR
static final String	OPERATOR_NAME_DEC
static final String	OPERATOR_NAME_DEFERRED_ADD
static final String	OPERATOR_NAME_DEFERRED_AND
static final String	OPERATOR_NAME_DEFERRED_ASSIGN
static final String	OPERATOR_NAME_DEFERRED_DIV
static final String	OPERATOR_NAME_DEFERRED_MUL
static final String	OPERATOR_NAME_DEFERRED_OR
static final String	OPERATOR_NAME_DEFERRED_POW
static final String	OPERATOR_NAME_DEFERRED_RATE_ASSIGN
static final String	OPERATOR_NAME_DEFERRED_REM
static final String	OPERATOR_NAME_DEFERRED_SHL
static final String	OPERATOR_NAME_DEFERRED_SHR
static final String	OPERATOR_NAME_DEFERRED_SUB
static final String	OPERATOR_NAME_DEFERRED_USHR
static final String	OPERATOR_NAME_DEFERRED_XOR
static final String	OPERATOR_NAME_DIV
static final String	OPERATOR_NAME_DIV_ASSIGN
static final String	OPERATOR_NAME_EQUALS
static final String	OPERATOR_NAME_GE
static final String	OPERATOR_NAME_GT
static final String	OPERATOR_NAME_GUARD
static final String	OPERATOR_NAME_IN
static final String	OPERATOR_NAME_INC
static final String	OPERATOR_NAME_INDEX
static final String	OPERATOR_NAME_INVOKE
static final String	OPERATOR_NAME_LE
static final String	OPERATOR_NAME_LEFT_ARROW
static final String	OPERATOR_NAME_LEFT_RIGHT_ARROW
static final String	OPERATOR_NAME_LINE
static final String	OPERATOR_NAME_LONG_ARROW
static final String	OPERATOR_NAME_LONG_LEFT_ARROW
static final String	OPERATOR_NAME_LONG_LEFT_RIGHT_ARROW
static final String	OPERATOR_NAME_LT
static final String	OPERATOR_NAME_MUL
static final String	OPERATOR_NAME_MUL_ASSIGN
static final String	OPERATOR_NAME_NEG
static final String	OPERATOR_NAME_NOT
static final String	OPERATOR_NAME_NOT_EQUALS
static final String	OPERATOR_NAME_OR
static final String	OPERATOR_NAME_OR_ASSIGN
static final String	OPERATOR_NAME_PLUS_ARROW
static final String	OPERATOR_NAME_PLUS_LEFT_ARROW
static final String	OPERATOR_NAME_PLUS_LEFT_RIGHT_ARROW
static final String	OPERATOR_NAME_PLUS_LINE
static final String	OPERATOR_NAME_POS
static final String	OPERATOR_NAME_POST_DEC
static final String	OPERATOR_NAME_POST_INC
static final String	OPERATOR_NAME_POW
static final String	OPERATOR_NAME_POW_ASSIGN
static final String	OPERATOR_NAME_QUOTE
static final String	OPERATOR_NAME_RANGE
static final String	OPERATOR_NAME_REM
static final String	OPERATOR_NAME_REM_ASSIGN
static final String	OPERATOR_NAME_SHL
static final String	OPERATOR_NAME_SHL_ASSIGN
static final String	OPERATOR_NAME_SHR
static final String	OPERATOR_NAME_SHR_ASSIGN
static final String	OPERATOR_NAME_SLASH_ARROW
static final String	OPERATOR_NAME_SLASH_LEFT_ARROW
static final String	OPERATOR_NAME_SLASH_LEFT_RIGHT_ARROW
static final String	OPERATOR_NAME_SLASH_LINE
static final String	OPERATOR_NAME_SPACE
static final String	OPERATOR_NAME_SUB
static final String	OPERATOR_NAME_SUB_ASSIGN
static final String	OPERATOR_NAME_USHR
static final String	OPERATOR_NAME_USHR_ASSIGN
static final String	OPERATOR_NAME_X_LEFT_RIGHT_ARROW
static final String	OPERATOR_NAME_XOR
static final String	OPERATOR_NAME_XOR_ASSIGN
CompilerOptions	options
ProblemReporter	problems
static final String	PRODUCER_BEGIN
static final String	PRODUCER_CLIQUE_BEGIN
static final String	PRODUCER_CLIQUE_END
static final String	PRODUCER_END
static final String	PRODUCER_GET_ROOT
static final String	PRODUCER_POP
static final String	PRODUCER_PUSH
static final String	PRODUCER_SEPARATE
static final long	ROUTINE_MODIFIERS
static final int	TYPE_AND_FIELD_DECLARATION	Constant for run indicating the first run.
static final long	WARN_ON_IMPLICIT_MODIFIER

Fields inherited from class antlr.TreeParser

_retTree, astFactory, ASTNULL, inputState, returnAST, tokenNames, traceDepth

Fields inherited from interface de.grogra.xl.compiler.CompilerTokenTypes

ABSTRACT_, ADD, ADD_ASSIGN, AND, AND_ASSIGN, ANNOTATION, ANY, APPLICATION_CONDITION, ARGLIST, ARRAY_DECLARATOR, ARRAY_INIT, ARRAY_ITERATOR, ARROW, ASSERT, ASSIGN, BOOLEAN_, BOOLEAN_LITERAL, BREAK, BYTE_, CAND, CASE, CATCH, CHAR_, CHAR_LITERAL, CLASS, CLASS_LITERAL, CMP, COM, COMPILATION_UNIT, COMPOUND_PATTERN, CONST_, CONSTRUCTOR, CONTEXT, CONTINUE, COR, DEC, DECLARING_TYPE, DEFAULT, DEFERRED_ADD, DEFERRED_AND, DEFERRED_ASSIGN, DEFERRED_DIV, DEFERRED_MUL, DEFERRED_OR, DEFERRED_POW, DEFERRED_RATE_ASSIGN, DEFERRED_REM, DEFERRED_SHL, DEFERRED_SHR, DEFERRED_SUB, DEFERRED_USHR, DEFERRED_XOR, DIMLIST, DIV, DIV_ASSIGN, DO, DOT, DOUBLE_, DOUBLE_ARROW_RULE, DOUBLE_LITERAL, ELIST, EMPTY, ENHANCED_FOR, EOF, EQUALS, EXEC_RULE, EXPR, EXTENDS, FINAL_, FINALLY, FLOAT_, FLOAT_LITERAL, FOLDING, FOR, GE, GT, GUARD, IDENT, IF, IMPLEMENTS, IMPORT_ON_DEMAND, IN, INC, INDEX_OP, INSTANCE_INIT, INSTANCEOF, INSTANTIATOR, INT_, INT_LITERAL, INTERFACE, INVALID_EXPR, INVOKE_OP, ITERATING_, LABEL, LABELED_STATEMENT, LATE_MATCH, LCLIQUE, LE, LEFT_ARROW, LEFT_RIGHT_ARROW, LINE, LONG_, LONG_ARROW, LONG_LEFT_ARROW, LONG_LEFT_RIGHT_ARROW, LONG_LITERAL, LT, MARKER, METHOD, METHOD_CALL, METHOD_PATTERN, MINIMAL, MODIFIERS, MODULE, MUL, MUL_ASSIGN, NAME_PATTERN, NATIVE_, NEG, NEW, NODE, NODES, NORMAL, NOT, NOT_EQUALS, NULL_LITERAL, NULL_TREE_LOOKAHEAD, OPTIONAL_MATCH, OR, OR_ASSIGN, PACKAGE, PARAMETER_DEF, PARAMETERIZED_PATTERN, PARAMETERS, PATTERN_WITH_BLOCK, PLUS_ARROW, PLUS_LEFT_ARROW, PLUS_LEFT_RIGHT_ARROW, PLUS_LINE, POS, POST_DEC, POST_INC, POW, POW_ASSIGN, PRIVATE_, PRODUCE, PROTECTED_, PUBLIC_, QUALIFIED_NEW, QUALIFIED_SUPER, QUERY, QUERY_EXPR, QUESTION, QUOTE, RANGE, RANGE_EXACTLY, RANGE_MIN, RCLIQUE, REM, REM_ASSIGN, RETURN, ROOT, RULE, RULE_BLOCK, SCALE, SEMI, SEPARATE, SHELL_BLOCK, SHL, SHL_ASSIGN, SHORT_, SHR, SHR_ASSIGN, SINGLE_ELEMENT, SINGLE_MATCH, SINGLE_OPTIONAL_MATCH, SINGLE_STATIC_IMPORT, SINGLE_TYPE_IMPORT, SLASH_ARROW, SLASH_LEFT_ARROW, SLASH_LEFT_RIGHT_ARROW, SLASH_LINE, SLIST, STATIC_, STATIC_IMPORT_ON_DEMAND, STATIC_INIT, STATIC_MEMBER_CLASSES, STRICT_, STRING_LITERAL, SUB, SUB_ASSIGN, SUPER, SWITCH, SWITCH_GROUP, SYNCHRONIZED_, THIS, THROW, THROWS, TRANSIENT_, TRAVERSAL, TREE, TRY, TYPE_PATTERN, TYPECAST, TYPECHECK, UNARY_PREFIX, USHR, USHR_ASSIGN, VARARGS_, VARIABLE_DEF, VOID_, VOLATILE_, WHILE, WITH, WRAPPED_TYPE_PATTERN, X_LEFT_RIGHT_ARROW, XOR, XOR_ASSIGN, YIELD

Method Summary

Modifier and Type	Method	Description
boolean	allowsAmbiguousMembers(Member first)	Defines if ambiguous members are allowed.
Expression	assignmentConversion(Expression expr, Type type, Scope scope, antlr.collections.AST pos)
Expression	castingConversion(Expression expr, Type type, Scope scope, antlr.collections.AST pos)
Expression	castingConversion(Expression expr, Type type, Scope scope, antlr.collections.AST pos, String msg, boolean test)
static void	checkOperatorFunction(antlr.collections.AST params, antlr.collections.AST mods, antlr.collections.AST id, int symbol, RecognitionExceptionList exceptionList)
CompilationUnitScope[]	compile(CompilationUnit[] units, CClass shell, BytecodeWriter writer, FileSystem fs, Object dir, boolean keepExpressions)
protected abstract CompilationUnitScope	compile(ClassPath classPath, antlr.collections.AST tree, String source, Scope defaultImports, Annotation[] annotations, CClass shell)
Object	compile(ClassPath classPath, Scope defaultImports, Parser parser, CClass shell)
Expression	compileFieldExpression(Field field, Expression expr, Scope scope, antlr.collections.AST pos)
Expression	compileInstance(Member m, Scope declaring, Scope s, antlr.collections.AST pos)
static void	copyInfo(Expression src, Expression dest)
<T> T	createModel(Class<T> type, Type<?> model, antlr.collections.AST pos)
void	finish(TypeScope scope, antlr.collections.AST pos)
<T extends Annotation> Annotation<T>	getAnnotation(Member member, Class<T> cls, boolean inherited)
Type[]	getArgumentTypes()	Returns the argument types which are used in Members.Resolution.isApplicable(Member, Members.Applicability, Scope) to determine the applicability.
static antlr.collections.AST	getAST(Expression e)
static BlockScope	getBlockScope(Expression e)
CompilationUnitScope	getCompilationUnitScope()	Return the current value of the CompilationUnitScope.
Package	getPackage()	Returns the package of the current compilation unit.
int	getRun()	Returns the current run of the compiler.
TypeScope	getTypeScope()	Return the current value of the TypeScope.
Type	getWrapperTypeFor(Type type, CompiletimeModel model, antlr.collections.AST pos)
Expression	implicitConversion(Expression expr, Type type, boolean allowD2F, Scope scope, antlr.collections.AST pos, String msg, boolean test)	Perform autoconversion of the expression to target type.
void	intersect(IntersectionType intersection, Type newType, antlr.collections.AST pos)
boolean	isApplicable(Member m, Members.Applicability appl, Scope scope)	Checks whether a member m is applicable.
boolean	isLessThan(Member m1, Members.Applicability a1, Member m2, Members.Applicability a2, Scope scope)	Checks whether an applicable member m1 is less specific than another applicable member m2.
Expression	methodInvocationConversion(Expression expr, Type type, Scope scope, antlr.collections.AST pos)
static final String	modifiersToString(long mods)
Expression	returnConversion(Expression expr, Type type, Scope scope, antlr.collections.AST pos)
static Expression	setAST(Expression e, antlr.collections.AST ast)
static void	setBlockScope(Expression e, BlockScope s)
void	setLegalSupertype(Type lst)
void	setVerbose(PrintWriter out)
Expression	standardImplicitConversion(Expression expr, Type type, boolean allowD2F, Scope scope, antlr.collections.AST pos, String msg, boolean test)	Perform autoconversion of the expression to target type.
boolean	supportsVersion(int ver)	Returns true if the specified version number designates a version of the JVM that is compatible with the target version currently set.
Type	typeForType(Type type)
String	verifyNotDeclared(antlr.collections.AST name, BlockScope s)
String	verifyNotDeclared(String name, BlockScope s, antlr.collections.AST pos)
Expression	wideningConversion(Expression expr, Type type, Scope scope, antlr.collections.AST pos)

Methods inherited from class antlr.TreeParser

getAST, getASTFactory, getTokenName, getTokenNames, match, match, matchNot, panic, reportError, reportError, reportWarning, setASTFactory, setASTNodeClass, setASTNodeType, traceIn, traceIndent, traceOut

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

I18N

public static final I18NBundle I18N

Resource bundle for messages.

TYPE_AND_FIELD_DECLARATION

public static final int TYPE_AND_FIELD_DECLARATION

Constant for run indicating the first run. In this run, type and field declarations are processed.

See Also:

• Constant Field Values

METHOD_DECLARATION

public static final int METHOD_DECLARATION

Constant for run indicating the second run. In this run, method and constructor declarations are processed.

See Also:

• Constant Field Values

COMPILATION

public static final int COMPILATION

Constant for run indicating the third, final run. In this run, the actual expressions and statements are compiled.

See Also:

• Constant Field Values

currentCompilationUnitScope

public CompilationUnitScope currentCompilationUnitScope

Stores the current CompilationUnitScope, if one was set. This field is set during parsing, so see Compiler.tree.g.

options

public CompilerOptions options

EXPR_FINAL

public static final int EXPR_FINAL

See Also:

• Constant Field Values

EXPR_THIS

public static final int EXPR_THIS

See Also:

• Constant Field Values

MOD_ITERATING

public static final long MOD_ITERATING

See Also:

• Constant Field Values

MOD_PARAMETER

public static final long MOD_PARAMETER

See Also:

• Constant Field Values

MOD_ROUTINE

public static final long MOD_ROUTINE

See Also:

• Constant Field Values

MOD_CONSTRUCTOR

public static final long MOD_CONSTRUCTOR

See Also:

• Constant Field Values

MOD_THIS_PARAMETER

public static final long MOD_THIS_PARAMETER

See Also:

• Constant Field Values

MOD_INITIALIZER

public static final long MOD_INITIALIZER

See Also:

• Constant Field Values

MOD_CONST

public static final long MOD_CONST

See Also:

• Constant Field Values

MOD_INSTANTIATOR

public static final long MOD_INSTANTIATOR

See Also:

• Constant Field Values

MOD_MODULE

public static final long MOD_MODULE

See Also:

• Constant Field Values

MOD_IMPLICIT_ARGUMENT

public static final long MOD_IMPLICIT_ARGUMENT

See Also:

• Constant Field Values

MOD_STATIC_MEMBER_CLASSES

public static final long MOD_STATIC_MEMBER_CLASSES

See Also:

• Constant Field Values

ROUTINE_MODIFIERS

public static final long ROUTINE_MODIFIERS

See Also:

• Constant Field Values

problems

public ProblemReporter problems

WARN_ON_IMPLICIT_MODIFIER

public static final long WARN_ON_IMPLICIT_MODIFIER

See Also:

• Constant Field Values

PRODUCER_GET_ROOT

public static final String PRODUCER_GET_ROOT

See Also:

• Constant Field Values

PRODUCER_BEGIN

public static final String PRODUCER_BEGIN

See Also:

• Constant Field Values

PRODUCER_END

public static final String PRODUCER_END

See Also:

• Constant Field Values

PRODUCER_PUSH

public static final String PRODUCER_PUSH

See Also:

• Constant Field Values

PRODUCER_POP

public static final String PRODUCER_POP

See Also:

• Constant Field Values

PRODUCER_SEPARATE

public static final String PRODUCER_SEPARATE

See Also:

• Constant Field Values

PRODUCER_CLIQUE_BEGIN

public static final String PRODUCER_CLIQUE_BEGIN

See Also:

• Constant Field Values

PRODUCER_CLIQUE_END

public static final String PRODUCER_CLIQUE_END

See Also:

• Constant Field Values

OPERATOR_NAME_NEG

public static final String OPERATOR_NAME_NEG

See Also:

• Constant Field Values

OPERATOR_NAME_POS

public static final String OPERATOR_NAME_POS

See Also:

• Constant Field Values

OPERATOR_NAME_NOT

public static final String OPERATOR_NAME_NOT

See Also:

• Constant Field Values

OPERATOR_NAME_COM

public static final String OPERATOR_NAME_COM

See Also:

• Constant Field Values

OPERATOR_NAME_INC

public static final String OPERATOR_NAME_INC

See Also:

• Constant Field Values

OPERATOR_NAME_DEC

public static final String OPERATOR_NAME_DEC

See Also:

• Constant Field Values

OPERATOR_NAME_POST_INC

public static final String OPERATOR_NAME_POST_INC

See Also:

• Constant Field Values

OPERATOR_NAME_POST_DEC

public static final String OPERATOR_NAME_POST_DEC

See Also:

• Constant Field Values

OPERATOR_NAME_ADD

public static final String OPERATOR_NAME_ADD

See Also:

• Constant Field Values

OPERATOR_NAME_SUB

public static final String OPERATOR_NAME_SUB

See Also:

• Constant Field Values

OPERATOR_NAME_MUL

public static final String OPERATOR_NAME_MUL

See Also:

• Constant Field Values

OPERATOR_NAME_DIV

public static final String OPERATOR_NAME_DIV

See Also:

• Constant Field Values

OPERATOR_NAME_REM

public static final String OPERATOR_NAME_REM

See Also:

• Constant Field Values

OPERATOR_NAME_POW

public static final String OPERATOR_NAME_POW

See Also:

• Constant Field Values

OPERATOR_NAME_COR

public static final String OPERATOR_NAME_COR

See Also:

• Constant Field Values

OPERATOR_NAME_CAND

public static final String OPERATOR_NAME_CAND

See Also:

• Constant Field Values

OPERATOR_NAME_ADD_ASSIGN

public static final String OPERATOR_NAME_ADD_ASSIGN

See Also:

• Constant Field Values

OPERATOR_NAME_SUB_ASSIGN

public static final String OPERATOR_NAME_SUB_ASSIGN

See Also:

• Constant Field Values

OPERATOR_NAME_MUL_ASSIGN

public static final String OPERATOR_NAME_MUL_ASSIGN

See Also:

• Constant Field Values

OPERATOR_NAME_DIV_ASSIGN

public static final String OPERATOR_NAME_DIV_ASSIGN

See Also:

• Constant Field Values

OPERATOR_NAME_REM_ASSIGN

public static final String OPERATOR_NAME_REM_ASSIGN

See Also:

• Constant Field Values

OPERATOR_NAME_POW_ASSIGN

public static final String OPERATOR_NAME_POW_ASSIGN

See Also:

• Constant Field Values

OPERATOR_NAME_SHL

public static final String OPERATOR_NAME_SHL

See Also:

• Constant Field Values

OPERATOR_NAME_SHR

public static final String OPERATOR_NAME_SHR

See Also:

• Constant Field Values

OPERATOR_NAME_USHR

public static final String OPERATOR_NAME_USHR

See Also:

• Constant Field Values

OPERATOR_NAME_SHL_ASSIGN

public static final String OPERATOR_NAME_SHL_ASSIGN

See Also:

• Constant Field Values

OPERATOR_NAME_SHR_ASSIGN

public static final String OPERATOR_NAME_SHR_ASSIGN

See Also:

• Constant Field Values

OPERATOR_NAME_USHR_ASSIGN

public static final String OPERATOR_NAME_USHR_ASSIGN

See Also:

• Constant Field Values

OPERATOR_NAME_XOR

public static final String OPERATOR_NAME_XOR

See Also:

• Constant Field Values

OPERATOR_NAME_OR

public static final String OPERATOR_NAME_OR

See Also:

• Constant Field Values

OPERATOR_NAME_AND

public static final String OPERATOR_NAME_AND

See Also:

• Constant Field Values

OPERATOR_NAME_XOR_ASSIGN

public static final String OPERATOR_NAME_XOR_ASSIGN

See Also:

• Constant Field Values

OPERATOR_NAME_OR_ASSIGN

public static final String OPERATOR_NAME_OR_ASSIGN

See Also:

• Constant Field Values

OPERATOR_NAME_AND_ASSIGN

public static final String OPERATOR_NAME_AND_ASSIGN

See Also:

• Constant Field Values

OPERATOR_NAME_EQUALS

public static final String OPERATOR_NAME_EQUALS

See Also:

• Constant Field Values

OPERATOR_NAME_NOT_EQUALS

public static final String OPERATOR_NAME_NOT_EQUALS

See Also:

• Constant Field Values

OPERATOR_NAME_LT

public static final String OPERATOR_NAME_LT

See Also:

• Constant Field Values

OPERATOR_NAME_LE

public static final String OPERATOR_NAME_LE

See Also:

• Constant Field Values

OPERATOR_NAME_GT

public static final String OPERATOR_NAME_GT

See Also:

• Constant Field Values

OPERATOR_NAME_GE

public static final String OPERATOR_NAME_GE

See Also:

• Constant Field Values

OPERATOR_NAME_CMP

public static final String OPERATOR_NAME_CMP

See Also:

• Constant Field Values

OPERATOR_NAME_RANGE

public static final String OPERATOR_NAME_RANGE

See Also:

• Constant Field Values

OPERATOR_NAME_IN

public static final String OPERATOR_NAME_IN

See Also:

• Constant Field Values

OPERATOR_NAME_GUARD

public static final String OPERATOR_NAME_GUARD

See Also:

• Constant Field Values

OPERATOR_NAME_ARROW

public static final String OPERATOR_NAME_ARROW

See Also:

• Constant Field Values

OPERATOR_NAME_LEFT_ARROW

public static final String OPERATOR_NAME_LEFT_ARROW

See Also:

• Constant Field Values

OPERATOR_NAME_LONG_ARROW

public static final String OPERATOR_NAME_LONG_ARROW

See Also:

• Constant Field Values

OPERATOR_NAME_LONG_LEFT_ARROW

public static final String OPERATOR_NAME_LONG_LEFT_ARROW

See Also:

• Constant Field Values

OPERATOR_NAME_LONG_LEFT_RIGHT_ARROW

public static final String OPERATOR_NAME_LONG_LEFT_RIGHT_ARROW

See Also:

• Constant Field Values

OPERATOR_NAME_PLUS_LEFT_ARROW

public static final String OPERATOR_NAME_PLUS_LEFT_ARROW

See Also:

• Constant Field Values

OPERATOR_NAME_PLUS_ARROW

public static final String OPERATOR_NAME_PLUS_ARROW

See Also:

• Constant Field Values

OPERATOR_NAME_PLUS_LEFT_RIGHT_ARROW

public static final String OPERATOR_NAME_PLUS_LEFT_RIGHT_ARROW

See Also:

• Constant Field Values

OPERATOR_NAME_PLUS_LINE

public static final String OPERATOR_NAME_PLUS_LINE

See Also:

• Constant Field Values

OPERATOR_NAME_SLASH_LEFT_ARROW

public static final String OPERATOR_NAME_SLASH_LEFT_ARROW

See Also:

• Constant Field Values

OPERATOR_NAME_SLASH_ARROW

public static final String OPERATOR_NAME_SLASH_ARROW

See Also:

• Constant Field Values

OPERATOR_NAME_SLASH_LEFT_RIGHT_ARROW

public static final String OPERATOR_NAME_SLASH_LEFT_RIGHT_ARROW

See Also:

• Constant Field Values

OPERATOR_NAME_SLASH_LINE

public static final String OPERATOR_NAME_SLASH_LINE

See Also:

• Constant Field Values

OPERATOR_NAME_LEFT_RIGHT_ARROW

public static final String OPERATOR_NAME_LEFT_RIGHT_ARROW

See Also:

• Constant Field Values

OPERATOR_NAME_X_LEFT_RIGHT_ARROW

public static final String OPERATOR_NAME_X_LEFT_RIGHT_ARROW

See Also:

• Constant Field Values

OPERATOR_NAME_LINE

public static final String OPERATOR_NAME_LINE

See Also:

• Constant Field Values

OPERATOR_NAME_INDEX

public static final String OPERATOR_NAME_INDEX

See Also:

• Constant Field Values

OPERATOR_NAME_INVOKE

public static final String OPERATOR_NAME_INVOKE

See Also:

• Constant Field Values

OPERATOR_NAME_QUOTE

public static final String OPERATOR_NAME_QUOTE

See Also:

• Constant Field Values

OPERATOR_NAME_SPACE

public static final String OPERATOR_NAME_SPACE

See Also:

• Constant Field Values

OPERATOR_NAME_DEFERRED_ASSIGN

public static final String OPERATOR_NAME_DEFERRED_ASSIGN

See Also:

• Constant Field Values

OPERATOR_NAME_DEFERRED_RATE_ASSIGN

public static final String OPERATOR_NAME_DEFERRED_RATE_ASSIGN

See Also:

• Constant Field Values

OPERATOR_NAME_DEFERRED_POW

public static final String OPERATOR_NAME_DEFERRED_POW

See Also:

• Constant Field Values

OPERATOR_NAME_DEFERRED_MUL

public static final String OPERATOR_NAME_DEFERRED_MUL

See Also:

• Constant Field Values

OPERATOR_NAME_DEFERRED_DIV

public static final String OPERATOR_NAME_DEFERRED_DIV

See Also:

• Constant Field Values

OPERATOR_NAME_DEFERRED_REM

public static final String OPERATOR_NAME_DEFERRED_REM

See Also:

• Constant Field Values

OPERATOR_NAME_DEFERRED_ADD

public static final String OPERATOR_NAME_DEFERRED_ADD

See Also:

• Constant Field Values

OPERATOR_NAME_DEFERRED_SUB

public static final String OPERATOR_NAME_DEFERRED_SUB

See Also:

• Constant Field Values

OPERATOR_NAME_DEFERRED_SHL

public static final String OPERATOR_NAME_DEFERRED_SHL

See Also:

• Constant Field Values

OPERATOR_NAME_DEFERRED_SHR

public static final String OPERATOR_NAME_DEFERRED_SHR

See Also:

• Constant Field Values

OPERATOR_NAME_DEFERRED_USHR

public static final String OPERATOR_NAME_DEFERRED_USHR

See Also:

• Constant Field Values

OPERATOR_NAME_DEFERRED_AND

public static final String OPERATOR_NAME_DEFERRED_AND

See Also:

• Constant Field Values

OPERATOR_NAME_DEFERRED_XOR

public static final String OPERATOR_NAME_DEFERRED_XOR

See Also:

• Constant Field Values

OPERATOR_NAME_DEFERRED_OR

public static final String OPERATOR_NAME_DEFERRED_OR

See Also:

• Constant Field Values

Method Details

getRun

public int getRun()

Returns the current run of the compiler. The compiler works in three runs. The return value indicates the current run.

Returns:

current run

See Also:

• TYPE_AND_FIELD_DECLARATION
• METHOD_DECLARATION
• COMPILATION

compile

public Object compile(ClassPath classPath,
 Scope defaultImports,
 Parser parser,
 CClass shell)
               throws IOException,
RecognitionException

Throws:

IOException

RecognitionException

compile

protected abstract CompilationUnitScope compile(ClassPath classPath,
 antlr.collections.AST tree,
 String source,
 Scope defaultImports,
 Annotation[] annotations,
 CClass shell)
                                         throws antlr.RecognitionException

Throws:

antlr.RecognitionException

compile

public CompilationUnitScope[] compile(CompilationUnit[] units,
 CClass shell,
 BytecodeWriter writer,
 FileSystem fs,
 Object dir,
 boolean keepExpressions)
                               throws IOException

Throws:

IOException

supportsVersion

public boolean supportsVersion(int ver)

Returns true if the specified version number designates a version of the JVM that is compatible with the target version currently set. Valid values for the version number are the constants in org.objectweb.asm.Opcodes.V* For instance a call supportsVersion(Opcodes.V1_4) with Opcodes.V1_4 currently set as target would return true. The same call with Opcodes.V1_3 set as target would return false.

Parameters:

ver -

Returns:

getPackage

public Package getPackage()

Returns the package of the current compilation unit.

Returns:

current package

getCompilationUnitScope

public CompilationUnitScope getCompilationUnitScope()

Return the current value of the CompilationUnitScope.

Returns:

current CompilationUnitScope

getTypeScope

public TypeScope getTypeScope()

Return the current value of the TypeScope.

Returns:

current TypeScope

modifiersToString

public static final String modifiersToString(long mods)

copyInfo

public static void copyInfo(Expression src,
 Expression dest)

setBlockScope

public static void setBlockScope(Expression e,
 BlockScope s)

getBlockScope

public static BlockScope getBlockScope(Expression e)

setAST

public static Expression setAST(Expression e,
 antlr.collections.AST ast)

getAST

public static antlr.collections.AST getAST(Expression e)

setLegalSupertype

public void setLegalSupertype(Type lst)

setVerbose

public void setVerbose(PrintWriter out)

verifyNotDeclared

public String verifyNotDeclared(antlr.collections.AST name,
 BlockScope s)

verifyNotDeclared

public String verifyNotDeclared(String name,
 BlockScope s,
 antlr.collections.AST pos)

intersect

public void intersect(IntersectionType intersection,
 Type newType,
 antlr.collections.AST pos)

getWrapperTypeFor

public Type getWrapperTypeFor(Type type,
 CompiletimeModel model,
 antlr.collections.AST pos)

castingConversion

public Expression castingConversion(Expression expr,
 Type type,
 Scope scope,
 antlr.collections.AST pos)

wideningConversion

public Expression wideningConversion(Expression expr,
 Type type,
 Scope scope,
 antlr.collections.AST pos)

methodInvocationConversion

public Expression methodInvocationConversion(Expression expr,
 Type type,
 Scope scope,
 antlr.collections.AST pos)

assignmentConversion

public Expression assignmentConversion(Expression expr,
 Type type,
 Scope scope,
 antlr.collections.AST pos)

returnConversion

public Expression returnConversion(Expression expr,
 Type type,
 Scope scope,
 antlr.collections.AST pos)

typeForType

public Type typeForType(Type type)

getAnnotation

public <T extends Annotation> Annotation<T> getAnnotation(Member member,
 Class<T> cls,
 boolean inherited)

implicitConversion

public Expression implicitConversion(Expression expr,
 Type type,
 boolean allowD2F,
 Scope scope,
 antlr.collections.AST pos,
 String msg,
 boolean test)

Perform autoconversion of the expression to target type. Autoconversion includes widening conversions, boxing and unboxing, and allows to transform an object of type A into an object of type B by means of conversion functions. Every function declared as 'static B valueOf(A)', 'static B toB(A)', 'B A.toB()' and constructors of the form 'B(A)' are considered as conversion functions. If more than one conversion from type A to type B using those conversion functions is possible, the conversion is ambiguous and results in an error.

Parameters:

expr - source expression

type - target type

boxOnly - only check for autoboxing/unboxing, no further autoconversions

scope - current scope

pos - location to use for error reports

msg - message key to use for error reports

Returns:

auto-converted expression, or null if no such conversion is possible and msg is null

castingConversion

public Expression castingConversion(Expression expr,
 Type type,
 Scope scope,
 antlr.collections.AST pos,
 String msg,
 boolean test)

standardImplicitConversion

public Expression standardImplicitConversion(Expression expr,
 Type type,
 boolean allowD2F,
 Scope scope,
 antlr.collections.AST pos,
 String msg,
 boolean test)

Perform autoconversion of the expression to target type. Autoconversion includes widening conversions, boxing and unboxing, and allows to transform an object of type A into an object of type B by means of conversion functions. Every function declared as 'static B valueOf(A)', 'static B toB(A)', 'B A.toB()' and constructors of the form 'B(A)' are considered as conversion functions. If more than one conversion from type A to type B using those conversion functions is possible, the conversion is ambiguous and results in an error.

Parameters:

expr - source expression

type - target type

boxOnly - only check for autoboxing/unboxing, no further autoconversions

scope - current scope

pos - location to use for error reports

msg - message key to use for error reports

Returns:

auto-converted expression, or null if no such conversion is possible and msg is null

createModel

public <T> T createModel(Class<T> type,
 Type<?> model,
 antlr.collections.AST pos)

allowsAmbiguousMembers

public boolean allowsAmbiguousMembers(Member first)

Description copied from interface: Members.Resolution

Defines if ambiguous members are allowed. If so, ambiguities between members do not cause an exception be thrown in Members#find(Resolution); the first member is returned.

Specified by:

allowsAmbiguousMembers in interface Members.Resolution

Parameters:

first - the first member of a set of ambiguous members

Returns:

true iff ambiguous members are allowed and first shall be returned as the result of resolution

isApplicable

public boolean isApplicable(Member m,
 Members.Applicability appl,
 Scope scope)

Description copied from interface: Members.Resolution

Checks whether a member m is applicable. The quality of applicability is stored in applOut by this method.

Specified by:

isApplicable in interface Members.Resolution

Parameters:

m - a member

appl - the quality of applicability is stored here by this method

scope - scope in which the member is accessed

Returns:

true iff m is applicable

getArgumentTypes

public Type[] getArgumentTypes()

Description copied from interface: Members.Resolution

Returns the argument types which are used in Members.Resolution.isApplicable(Member, Members.Applicability, Scope) to determine the applicability. This method is only invoked to generate an error message in case no applicable member was found.

Specified by:

getArgumentTypes in interface Members.Resolution

Returns:

argument types

isLessThan

public boolean isLessThan(Member m1,
 Members.Applicability a1,
 Member m2,
 Members.Applicability a2,
 Scope scope)

Description copied from interface: Members.Resolution

Checks whether an applicable member m1 is less specific than another applicable member m2. The applicablities are the same instances which have been passed before to Members.Resolution.isApplicable(Member, Members.Applicability, Scope).

Specified by:

isLessThan in interface Members.Resolution

Parameters:

m1 - a member

a1 - m1's applicability as determined by Members.Resolution.isApplicable(Member, Members.Applicability, Scope)

m2 - another member

a2 - m2's applicability as determined by Members.Resolution.isApplicable(Member, Members.Applicability, Scope)

scope - scope in which the member is accessed

Returns:

true iff m1 is less specific than m2

compileFieldExpression

public Expression compileFieldExpression(Field field,
 Expression expr,
 Scope scope,
 antlr.collections.AST pos)

compileInstance

public Expression compileInstance(Member m,
 Scope declaring,
 Scope s,
 antlr.collections.AST pos)

finish

public void finish(TypeScope scope,
 antlr.collections.AST pos)

checkOperatorFunction

public static void checkOperatorFunction(antlr.collections.AST params,
 antlr.collections.AST mods,
 antlr.collections.AST id,
 int symbol,
 RecognitionExceptionList exceptionList)