Module Simula

Package simula.compiler.syntaxClass.expression

Class TypeConversion

java.lang.Object

simula.compiler.syntaxClass.SyntaxClass

simula.compiler.syntaxClass.expression.Expression

simula.compiler.syntaxClass.expression.TypeConversion

public final class TypeConversion
extends Expression

Type Conversion.

Link to GitHub: Source File.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final Expression	expression	The expression.

Fields inherited from class simula.compiler.syntaxClass.expression.Expression

backLink, type

Fields inherited from class simula.compiler.syntaxClass.SyntaxClass

lineNumber

Constructor Summary

Constructors

Modifier	Constructor	Description
private	TypeConversion(Type type, Expression expression)	Create a new TypeConversion.

Method Summary

Modifier and Type	Method	Description
void	doChecking()	Perform semantic checking.
VariableExpression	getWriteableVariable()	Get a writeable variable.
static String	mayBeConvert(Type fromType, Type toType, String expr)	Test if a TypeConversion is necessary and then create it.
boolean	maybeStatement()	Returns true if this expression may be used as a statement.
static Expression	testAndCreate(Type toType, Expression expression)	Test if a TypeConversion is necessary and then create it.
private static boolean	testCastNeccessary(Type toType, Expression expression)	Test if a TypeConversion is necessary.
String	toJavaCode()	Generate Java code for this Syntax Class.
String	toString()

Methods inherited from class simula.compiler.syntaxClass.expression.Expression

acceptExpression, checkCompatibility, evaluate, expectExpression, get, getInt, getNumber, getQualification, printTree, put

Methods inherited from class simula.compiler.syntaxClass.SyntaxClass

ASSERT_SEMANTICS_CHECKED, doDeclarationCoding, doJavaCoding, edIndent, edTreeIndent, IS_SEMANTICS_CHECKED, print, SET_SEMANTICS_CHECKED

Methods inherited from class java.lang.Object

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

Field Details

expression

final Expression expression

The expression.

Constructor Details

TypeConversion

private TypeConversion(Type type,
 Expression expression)

Create a new TypeConversion.

Parameters:

type - the new type

expression - the expression

Method Details

mayBeConvert

public static String mayBeConvert(Type fromType,
 Type toType,
 String expr)

Test if a TypeConversion is necessary and then create it.

Parameters:

fromType - convert from this type

toType - convert to this type

expr - the expression

Returns:

piece of Java source code

testAndCreate

public static Expression testAndCreate(Type toType,
 Expression expression)

Test if a TypeConversion is necessary and then create it.

Parameters:

toType - convert to toType

expression - the expression

Returns:

the resulting expression

testCastNeccessary

private static boolean testCastNeccessary(Type toType,
 Expression expression)

Test if a TypeConversion is necessary.

Parameters:

toType - the desired type

expression - the expression

Returns:

piece of Java source code

getWriteableVariable

public VariableExpression getWriteableVariable()

Description copied from class: Expression

Get a writeable variable.

This method is redefined in Variable, RemoteVariable and TypeConversion

Overrides:

getWriteableVariable in class Expression

Returns:

a writeable variable or null

doChecking

public void doChecking()

Description copied from class: SyntaxClass

Perform semantic checking.

This must be redefined in every subclass.

Overrides:

doChecking in class SyntaxClass

maybeStatement

public boolean maybeStatement()

Description copied from class: Expression

Returns true if this expression may be used as a statement.

Specified by:

maybeStatement in class Expression

Returns:

true if this expression may be used as a statement

toJavaCode

public String toJavaCode()

Description copied from class: SyntaxClass

Generate Java code for this Syntax Class.

Overrides:

toJavaCode in class SyntaxClass

Returns:

Java code

toString

public String toString()

Overrides:

toString in class Expression