Serialized Form

Package examples.v2c.tr

Class examples.v2c.tr.TRMappedList

class TRMappedList extends com.fujitsu.vdmj.mapper.MappedList<FROM extends com.fujitsu.vdmj.mapper.Mappable,TO extends com.fujitsu.vdmj.mapper.Mappable> implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.TRNode

class TRNode extends com.fujitsu.vdmj.mapper.MappedObject implements Serializable

serialVersionUID:

1L

Package examples.v2c.tr.definitions

Class examples.v2c.tr.definitions.TRClassDefinition

class TRClassDefinition extends TRDefinition implements Serializable

serialVersionUID:

1L

Serialized Fields

definitions

TRDefinitionList definitions

name

com.fujitsu.vdmj.tc.lex.TCNameToken name

Class examples.v2c.tr.definitions.TRClassList

class TRClassList extends TRMappedList<com.fujitsu.vdmj.tc.definitions.TCClassDefinition,TRClassDefinition> implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.definitions.TRDefinition

class TRDefinition extends TRNode implements Serializable

serialVersionUID:

1L

Serialized Fields

comments

com.fujitsu.vdmj.ast.lex.LexCommentList comments

Class examples.v2c.tr.definitions.TRDefinitionList

class TRDefinitionList extends TRMappedList<com.fujitsu.vdmj.tc.definitions.TCDefinition,TRDefinition> implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.definitions.TRExplicitFunctionDefinition

class TRExplicitFunctionDefinition extends TRDefinition implements Serializable

serialVersionUID:

1L

Serialized Fields

body

TRExpression body

name

com.fujitsu.vdmj.tc.lex.TCNameToken name

parameters

TRParameterList parameters

type

TRFunctionType type

Class examples.v2c.tr.definitions.TRValueDefinition

class TRValueDefinition extends TRDefinition implements Serializable

serialVersionUID:

1L

Serialized Fields

exp

TRExpression exp

pattern

String pattern

type

TRType type

Package examples.v2c.tr.expressions

Class examples.v2c.tr.expressions.TRApplyExpression

class TRApplyExpression extends TRExpression implements Serializable

serialVersionUID:

1L

Serialized Fields

args

TRExpressionList args

root

TRExpression root

Class examples.v2c.tr.expressions.TRBinaryExpression

class TRBinaryExpression extends TRExpression implements Serializable

serialVersionUID:

1L

Serialized Fields

left

TRExpression left

right

TRExpression right

Class examples.v2c.tr.expressions.TRCompareExpression

class TRCompareExpression extends TRBinaryExpression implements Serializable

serialVersionUID:

1L

Serialized Fields

op

com.fujitsu.vdmj.ast.lex.LexToken op

Class examples.v2c.tr.expressions.TRDivideExpression

class TRDivideExpression extends TRBinaryExpression implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.expressions.TREqualsExpression

class TREqualsExpression extends TRBinaryExpression implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.expressions.TRExpression

class TRExpression extends TRNode implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.expressions.TRExpressionList

class TRExpressionList extends TRMappedList<com.fujitsu.vdmj.tc.expressions.TCExpression,TRExpression> implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.expressions.TRIfExpression

class TRIfExpression extends TRExpression implements Serializable

serialVersionUID:

1L

Serialized Fields

elseExp

TRExpression elseExp

ifExp

TRExpression ifExp

thenExp

TRExpression thenExp

Class examples.v2c.tr.expressions.TRLiteralExpression

class TRLiteralExpression extends TRExpression implements Serializable

serialVersionUID:

1L

Serialized Fields

exp

com.fujitsu.vdmj.tc.expressions.TCExpression exp

Class examples.v2c.tr.expressions.TRPlusExpression

class TRPlusExpression extends TRBinaryExpression implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.expressions.TRSubtractExpression

class TRSubtractExpression extends TRBinaryExpression implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.expressions.TRTimesExpression

class TRTimesExpression extends TRBinaryExpression implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.expressions.TRVariableExpression

class TRVariableExpression extends TRExpression implements Serializable

serialVersionUID:

1L

Serialized Fields

name

com.fujitsu.vdmj.tc.lex.TCNameToken name

Package examples.v2c.tr.modules

Class examples.v2c.tr.modules.TRModule

class TRModule extends TRNode implements Serializable

serialVersionUID:

1L

Serialized Fields

definitions

TRDefinitionList definitions

name

com.fujitsu.vdmj.tc.lex.TCIdentifierToken name

Class examples.v2c.tr.modules.TRModuleList

class TRModuleList extends TRMappedList<com.fujitsu.vdmj.tc.modules.TCModule,TRModule> implements Serializable

serialVersionUID:

1L

Package examples.v2c.tr.patterns

Class examples.v2c.tr.patterns.TRParameterList

class TRParameterList extends Vector<String> implements Serializable

serialVersionUID:

1L

Package examples.v2c.tr.types

Class examples.v2c.tr.types.TRFunctionType

class TRFunctionType extends TRType implements Serializable

serialVersionUID:

1L

Serialized Fields

parameters

TRTypeList parameters

result

TRType result

Class examples.v2c.tr.types.TRNumericType

class TRNumericType extends TRType implements Serializable

serialVersionUID:

1L

Serialized Fields

type

com.fujitsu.vdmj.tc.types.TCType type

Class examples.v2c.tr.types.TRType

class TRType extends TRNode implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.types.TRTypeList

class TRTypeList extends TRMappedList<com.fujitsu.vdmj.tc.types.TCType,TRType> implements Serializable

serialVersionUID:

1L