Serialized Form

Package examples.v2c.tr

Class examples.v2c.tr.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 extends com.fujitsu.vdmj.mapper.MappedObject implements Serializable

serialVersionUID:

1L

Package examples.v2c.tr.definitions

Class examples.v2c.tr.definitions.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 extends TRMappedList<com.fujitsu.vdmj.tc.definitions.TCClassDefinition,TRClassDefinition> implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.definitions.TRDefinition extends TRNode implements Serializable

serialVersionUID:

1L

Serialized Fields

comments

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

Class examples.v2c.tr.definitions.TRDefinitionList extends TRMappedList<com.fujitsu.vdmj.tc.definitions.TCDefinition,TRDefinition> implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.definitions.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 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 extends TRExpression implements Serializable

serialVersionUID:

1L

Serialized Fields

args

TRExpressionList args

root

TRExpression root

Class examples.v2c.tr.expressions.TRBinaryExpression extends TRExpression implements Serializable

serialVersionUID:

1L

Serialized Fields

left

TRExpression left

right

TRExpression right

Class examples.v2c.tr.expressions.TRCompareExpression extends TRBinaryExpression implements Serializable

serialVersionUID:

1L

Serialized Fields

op

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

Class examples.v2c.tr.expressions.TRDivideExpression extends TRBinaryExpression implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.expressions.TREqualsExpression extends TRBinaryExpression implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.expressions.TRExpression extends TRNode implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.expressions.TRExpressionList extends TRMappedList<com.fujitsu.vdmj.tc.expressions.TCExpression,TRExpression> implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.expressions.TRIfExpression extends TRExpression implements Serializable

serialVersionUID:

1L

Serialized Fields

elseExp

TRExpression elseExp

ifExp

TRExpression ifExp

thenExp

TRExpression thenExp

Class examples.v2c.tr.expressions.TRLiteralExpression extends TRExpression implements Serializable

serialVersionUID:

1L

Serialized Fields

exp

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

Class examples.v2c.tr.expressions.TRPlusExpression extends TRBinaryExpression implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.expressions.TRSubtractExpression extends TRBinaryExpression implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.expressions.TRTimesExpression extends TRBinaryExpression implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.expressions.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 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 extends TRMappedList<com.fujitsu.vdmj.tc.modules.TCModule,TRModule> implements Serializable

serialVersionUID:

1L

Package examples.v2c.tr.patterns

Class examples.v2c.tr.patterns.TRParameterList extends Vector<String> implements Serializable

serialVersionUID:

1L

Package examples.v2c.tr.types

Class examples.v2c.tr.types.TRFunctionType extends TRType implements Serializable

serialVersionUID:

1L

Serialized Fields

parameters

TRTypeList parameters

result

TRType result

Class examples.v2c.tr.types.TRNumericType extends TRType implements Serializable

serialVersionUID:

1L

Serialized Fields

type

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

Class examples.v2c.tr.types.TRType extends TRNode implements Serializable

serialVersionUID:

1L

Class examples.v2c.tr.types.TRTypeList extends TRMappedList<com.fujitsu.vdmj.tc.types.TCType,TRType> implements Serializable

serialVersionUID:

1L