Uses of Class
org.eclipse.jdt.internal.compiler.codegen.CodeStream

Packages that use CodeStream

org.eclipse.jdt.internal.compiler
org.eclipse.jdt.internal.compiler.ast
org.eclipse.jdt.internal.compiler.codegen
org.eclipse.jdt.internal.compiler.lookup
org.eclipse.jdt.internal.eval
org.jmlspecs.jml4.ast

Uses of CodeStream in org.eclipse.jdt.internal.compiler

Fields in org.eclipse.jdt.internal.compiler declared as CodeStream

CodeStream

ClassFile.codeStream

Uses of CodeStream in org.eclipse.jdt.internal.compiler.ast

Methods in org.eclipse.jdt.internal.compiler.ast with parameters of type CodeStream

ExceptionLabel	TryStatement.enterAnyExceptionHandler(CodeStream codeStream)
ExceptionLabel	SubRoutineStatement.enterAnyExceptionHandler(CodeStream codeStream)
void	TryStatement.enterDeclaredExceptionHandlers(CodeStream codeStream)
void	SubRoutineStatement.enterDeclaredExceptionHandlers(CodeStream codeStream)
void	TryStatement.exitDeclaredExceptionHandlers(CodeStream codeStream)
void	SubRoutineStatement.exitDeclaredExceptionHandlers(CodeStream codeStream)
void	Reference.fieldStore(CodeStream codeStream, FieldBinding fieldBinding, MethodBinding syntheticWriteAccessor, boolean valueRequired)
void	Statement.generateArguments(MethodBinding binding, Expression[] arguments, BlockScope currentScope, CodeStream codeStream) Generate invocation arguments, considering varargs methods
void	ThisReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)
void	SingleNameReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)
abstract void	Reference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)
void	QualifiedNameReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)
void	FieldReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)
void	ArrayReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)
void	EqualExpression.generateBooleanEqual(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Boolean generation for == with boolean operands Note this code does not optimize conditional constants !!!!
void	WhileStatement.generateCode(BlockScope currentScope, CodeStream codeStream) While code generation
void	TypeParameter.generateCode(BlockScope currentScope, CodeStream codeStream)
void	TypeDeclaration.generateCode(BlockScope blockScope, CodeStream codeStream) Bytecode generation for a local inner type (API as a normal statement code gen)
void	TryStatement.generateCode(BlockScope currentScope, CodeStream codeStream) Try statement code generation with or without jsr bytecode use post 1.5 target level, cannot use jsr bytecode, must instead inline finally block returnAddress is only allocated if jsr is allowed
void	ThrowStatement.generateCode(BlockScope currentScope, CodeStream codeStream) Throw code generation
void	SynchronizedStatement.generateCode(BlockScope currentScope, CodeStream codeStream) Synchronized statement code generation
void	SwitchStatement.generateCode(BlockScope currentScope, CodeStream codeStream) Switch code generation
abstract void	Statement.generateCode(BlockScope currentScope, CodeStream codeStream)
void	ReturnStatement.generateCode(BlockScope currentScope, CodeStream codeStream) Retrun statement code generation generate the finallyInvocationSequence.
void	LocalDeclaration.generateCode(BlockScope currentScope, CodeStream codeStream) Code generation for a local declaration: i.e. normal assignment to a local variable + unused variable handling
void	LabeledStatement.generateCode(BlockScope currentScope, CodeStream codeStream) Code generation for labeled statement may not need actual source positions recording
void	Initializer.generateCode(BlockScope currentScope, CodeStream codeStream) Code generation for a non-static initializer: standard block code gen
void	IfStatement.generateCode(BlockScope currentScope, CodeStream codeStream) If code generation
void	ForStatement.generateCode(BlockScope currentScope, CodeStream codeStream) For statement code generation
void	ForeachStatement.generateCode(BlockScope currentScope, CodeStream codeStream) For statement code generation
void	FieldDeclaration.generateCode(BlockScope currentScope, CodeStream codeStream) Code generation for a field declaration: standard assignment to a field
void	Expression.generateCode(BlockScope currentScope, CodeStream codeStream) Expression statements are plain expressions, however they generate like normal expressions with no value required.
void	ExplicitConstructorCall.generateCode(BlockScope currentScope, CodeStream codeStream) Constructor call code generation
void	EmptyStatement.generateCode(BlockScope currentScope, CodeStream codeStream)
void	DoStatement.generateCode(BlockScope currentScope, CodeStream codeStream) Do statement code generation
void	CaseStatement.generateCode(BlockScope currentScope, CodeStream codeStream) Case code generation
void	BranchStatement.generateCode(BlockScope currentScope, CodeStream codeStream) Branch code generation generate the finallyInvocationSequence.
void	Block.generateCode(BlockScope currentScope, CodeStream codeStream) Code generation for a block
void	AssertStatement.generateCode(BlockScope currentScope, CodeStream codeStream)
void	UnaryExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for an unary operation
void	TrueLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for the true literal
void	ThisReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
void	StringLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for string literal
void	SingleNameReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
void	QualifiedThisReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for QualifiedThisReference
void	QualifiedNameReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
void	QualifiedAllocationExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
void	PostfixExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for PostfixExpression
void	OR_OR_Expression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for a binary operation
void	NullLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for the null literal
void	MessageSend.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) MessageSend code generation
void	LongLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for long literal
void	IntLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for int literal
void	InstanceOfExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for instanceOfExpression
void	FloatLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for float literal
void	FieldReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Field reference code generation
void	FalseLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for false literal
void	Expression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Every expression is responsible for generating its implicit conversion when necessary.
void	EqualExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Normal == or != code generation.
void	DoubleLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for the double literak
void	ConditionalExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for the conditional operator ?:
void	CompoundAssignment.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
void	ClassLiteralAccess.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) MessageSendDotClass code generation
void	CharLiteral.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) CharLiteral code generation
void	CastExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Cast expression code generation
void	BinaryExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for a binary operation
void	Assignment.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
void	ArrayReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for a array reference
void	ArrayInitializer.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for a array initializer
void	ArrayAllocationExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for a array allocation expression
void	AND_AND_Expression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Code generation for a binary operation
void	AllocationExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
void	ThisReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)
void	SingleNameReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)
abstract void	Reference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)
void	QualifiedNameReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)
void	FieldReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)
void	ArrayReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)
void	SingleNameReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, MethodBinding writeAccessor, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)
void	BinaryExpression.generateLogicalAnd(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Boolean generation for &
void	BinaryExpression.generateLogicalOr(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Boolean generation for |
void	BinaryExpression.generateLogicalXor(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Boolean generation for ^
void	EqualExpression.generateNonBooleanEqual(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Boolean generation for == with non-boolean operands
void	UnaryExpression.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Boolean operator code generation Optimized operations are: &&, ||, <, <=, >, >=, &, |, ^
void	TrueLiteral.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)
void	OR_OR_Expression.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Boolean operator code generation Optimized operations are: ||
void	FalseLiteral.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired)
void	Expression.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Default generation of a boolean value
void	EqualExpression.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Boolean operator code generation Optimized operations are: == and !=
void	ConditionalExpression.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Optimized boolean code generation for the conditional operator ?:
void	BinaryExpression.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Boolean operator code generation Optimized operations are: <, <=, >, >=, &, |, ^
void	AND_AND_Expression.generateOptimizedBoolean(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Boolean operator code generation Optimized operations are: &&
void	EqualExpression.generateOptimizedBooleanEqual(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Boolean generation for == with boolean operands Note this code does not optimize conditional constants !!!!
void	BinaryExpression.generateOptimizedGreaterThan(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Boolean generation for >
void	BinaryExpression.generateOptimizedGreaterThanOrEqual(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Boolean generation for >=
void	BinaryExpression.generateOptimizedLessThan(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Boolean generation for <
void	BinaryExpression.generateOptimizedLessThanOrEqual(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Boolean generation for <=
void	BinaryExpression.generateOptimizedLogicalAnd(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Boolean generation for &
void	BinaryExpression.generateOptimizedLogicalOr(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Boolean generation for |
void	BinaryExpression.generateOptimizedLogicalXor(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Boolean generation for ^
void	EqualExpression.generateOptimizedNonBooleanEqual(BlockScope currentScope, CodeStream codeStream, BranchLabel trueLabel, BranchLabel falseLabel, boolean valueRequired) Boolean generation for == with non-boolean operands
void	Expression.generateOptimizedStringConcatenation(BlockScope blockScope, CodeStream codeStream, int typeID)
void	CombinedBinaryExpression.generateOptimizedStringConcatenation(BlockScope blockScope, CodeStream codeStream, int typeID)
void	BinaryExpression.generateOptimizedStringConcatenation(BlockScope blockScope, CodeStream codeStream, int typeID)
void	Expression.generateOptimizedStringConcatenationCreation(BlockScope blockScope, CodeStream codeStream, int typeID)
void	CombinedBinaryExpression.generateOptimizedStringConcatenationCreation(BlockScope blockScope, CodeStream codeStream, int typeID)
void	BinaryExpression.generateOptimizedStringConcatenationCreation(BlockScope blockScope, CodeStream codeStream, int typeID)
void	ThisReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)
void	SingleNameReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)
abstract void	Reference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)
void	QualifiedNameReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)
void	FieldReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)
void	ArrayReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)
FieldBinding	QualifiedNameReference.generateReadSequence(BlockScope currentScope, CodeStream codeStream)
void	SingleNameReference.generateReceiver(CodeStream codeStream)
void	QualifiedNameReference.generateReceiver(CodeStream codeStream)
void	ReturnStatement.generateReturnBytecode(CodeStream codeStream) Dump the suitable return bytecode for a return statement
void	ReturnStatement.generateStoreSaveValueIfNecessary(CodeStream codeStream)
boolean	TryStatement.generateSubRoutineInvocation(BlockScope currentScope, CodeStream codeStream, java.lang.Object targetLocation, int stateIndex, LocalVariableBinding secretLocal)
boolean	SynchronizedStatement.generateSubRoutineInvocation(BlockScope currentScope, CodeStream codeStream, java.lang.Object targetLocation, int stateIndex, LocalVariableBinding secretLocal)
abstract boolean	SubRoutineStatement.generateSubRoutineInvocation(BlockScope currentScope, CodeStream codeStream, java.lang.Object targetLocation, int stateIndex, LocalVariableBinding secretLocal) Generate an invocation of a subroutine (e.g.
void	ConstructorDeclaration.generateSyntheticFieldInitializationsIfNecessary(MethodScope methodScope, CodeStream codeStream, ReferenceBinding declaringClass)
static void	SubRoutineStatement.reenterAllExceptionHandlers(SubRoutineStatement[] subroutines, int max, CodeStream codeStream)

Uses of CodeStream in org.eclipse.jdt.internal.compiler.codegen

Subclasses of CodeStream in org.eclipse.jdt.internal.compiler.codegen

class

StackMapFrameCodeStream

Fields in org.eclipse.jdt.internal.compiler.codegen declared as CodeStream

CodeStream

Label.codeStream

Methods in org.eclipse.jdt.internal.compiler.codegen with parameters of type CodeStream

void	BranchLabel.initialize(CodeStream stream)

Constructors in org.eclipse.jdt.internal.compiler.codegen with parameters of type CodeStream

BranchLabel(CodeStream codeStream)

CaseLabel(CodeStream codeStream)
CaseLabel constructor comment.

ExceptionLabel(CodeStream codeStream, TypeBinding exceptionType)

Label(CodeStream codeStream)

Uses of CodeStream in org.eclipse.jdt.internal.compiler.lookup

Methods in org.eclipse.jdt.internal.compiler.lookup with parameters of type CodeStream

void	MethodScope.computeLocalVariablePositions(int initOffset, CodeStream codeStream) Compute variable positions in scopes given an initial position offset ignoring unused local variables.

Uses of CodeStream in org.eclipse.jdt.internal.eval

Methods in org.eclipse.jdt.internal.eval with parameters of type CodeStream

void	CodeSnippetSingleNameReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)
void	CodeSnippetQualifiedNameReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)
void	CodeSnippetFieldReference.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)
void	CodeSnippetThisReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
void	CodeSnippetSingleNameReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
void	CodeSnippetQualifiedNameReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
void	CodeSnippetMessageSend.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) MessageSend code generation
void	CodeSnippetFieldReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Field reference code generation
void	CodeSnippetAllocationExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
void	CodeSnippetQualifiedNameReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)
void	CodeSnippetFieldReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)
void	CodeSnippetSingleNameReference.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, MethodBinding writeAccessor, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)
void	CodeSnippetSingleNameReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)
void	CodeSnippetQualifiedNameReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)
void	CodeSnippetFieldReference.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)
FieldBinding	CodeSnippetQualifiedNameReference.generateReadSequence(BlockScope currentScope, CodeStream codeStream)
void	CodeSnippetSingleNameReference.generateReceiver(CodeStream codeStream)
void	CodeSnippetQualifiedNameReference.generateReceiver(CodeStream codeStream)
void	CodeSnippetReturnStatement.generateReturnBytecode(CodeStream codeStream) Dump the suitable return bytecode for a return statement
void	CodeSnippetReturnStatement.generateStoreSaveValueIfNecessary(CodeStream codeStream)

Uses of CodeStream in org.jmlspecs.jml4.ast

Methods in org.jmlspecs.jml4.ast with parameters of type CodeStream

void	JmlLoopAnnotations.checkLoopInvariant(BlockScope currentScope, CodeStream codeStream)
void	JmlLoopAnnotations.checkLoopVariant(BlockScope currentScope, CodeStream codeStream, LocalVariableBinding firstTimeBinding)
void	JmlLoopVariant.generateAndStore(BlockScope currentScope, CodeStream codeStream)
void	JmlStoreRefExpression.generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired) Deprecated.
void	JmlTypeDeclaration.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlRequiresClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlRepresentsClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlLoopVariant.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlLoopInvariant.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlInvariantForType.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlInitiallyClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlEnsuresClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlConstraintClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlClause.generateCheck(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlLoopInvariant.generateCheck(BlockScope currentScope, CodeStream codeStream)
void	JmlTypeDeclaration.generateCheckForInitiallys(BlockScope currentScope, AbstractMethodDeclaration methodDecl, CodeStream codeStream)
void	JmlMethodSpecification.generateCheckOfEnsures(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCaseRestAsClauseSeq.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
abstract void	JmlSpecCaseRest.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCaseBody.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCaseBlock.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCase.generateCheckOfPostcondition(BlockScope currentScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCaseHeader.generateCheckOfPrecondition(MethodScope methodScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCaseBody.generateCheckOfPrecondition(MethodScope methodScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCase.generateCheckOfPrecondition(MethodScope methodScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlMethodSpecification.generateCheckOfRequires(MethodScope methodScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSetStatement.generateCode(BlockScope currentScope, CodeStream codeStream)
void	JmlFieldDeclaration.generateCode(BlockScope currentScope, CodeStream codeStream)
void	JmlAssertOrAssumeStatement.generateCode(BlockScope currentScope, CodeStream codeStream)
void	JmlSubtypeExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Every expression is responsible for generating its implicit conversion when necessary.
void	JmlSetComprehension.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Every expression is responsible for generating its implicit conversion when necessary.
void	JmlResultReference.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
void	JmlQuantifiedExpression.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Every expression is responsible for generating its implicit conversion when necessary.
void	JmlOperationOverStoreRefList.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
void	JmlCastExpressionWithoutType.generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
abstract void	JmlQuantifier.generateCode(LocalDeclaration[] boundVariables, Expression range, Expression body, BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Generates code for this quantifier.
void	JmlNumericQuantifier.generateCode(LocalDeclaration[] boundVariables, Expression range, Expression body, BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Generates code for this quantifier; currently, this just puts the constant value 0 on the stack with an appropriate numeric type.
void	JmlBooleanQuantifier.generateCode(LocalDeclaration[] boundVariables, Expression range, Expression body, BlockScope currentScope, CodeStream codeStream, boolean valueRequired) Generates code for this quantifier; currently, this just puts the constant value "true" on the stack.
void	JmlStoreRefExpression.generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired) Deprecated.
static void	JmlCastExpression.generateNullityTest(CodeStream codeStream, java.lang.String exceptionType, java.lang.String msg)
void	JmlStoreRefExpression.generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired) Deprecated.
void	JmlLoopVariant.generateVariantCheck(BlockScope currentScope, CodeStream codeStream)
void	JmlLoopVariant.initStore(BlockScope currentScope, CodeStream codeStream)
void	JmlLoopAnnotations.initVariantStore(BlockScope currentScope, CodeStream codeStream)