Index

C E F G H I L M P R T V
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

C

commands - package commands

comments - Variable in class examples.v2c.tr.definitions.TRDefinition

E

equals(Object) - Method in class examples.v2c.tr.TRMappedList

examples.v2c.tr - package examples.v2c.tr

examples.v2c.tr.definitions - package examples.v2c.tr.definitions

examples.v2c.tr.expressions - package examples.v2c.tr.expressions

examples.v2c.tr.modules - package examples.v2c.tr.modules

examples.v2c.tr.patterns - package examples.v2c.tr.patterns

examples.v2c.tr.types - package examples.v2c.tr.types

F

factory(Dialect) - Static method in class plugins.V2CPluginLSP

A plugin must provide a static "factory" method that takes a single Dialect parameter.

factory(Dialect) - Static method in class plugins.V2CPluginVDMJ

G

getCommand(String) - Method in class plugins.V2CPluginVDMJ

getCommandHelp() - Method in class plugins.V2CPluginVDMJ

getName() - Method in class plugins.V2CPluginLSP

This is the registered name in the plugin registry.

getName() - Method in class plugins.V2CPluginVDMJ

getParameters() - Method in class examples.v2c.tr.types.TRFunctionType

getResult() - Method in class examples.v2c.tr.types.TRFunctionType

H

handleEvent(LSPEvent) - Method in class plugins.V2CPluginLSP

This method is called when unknownMethodEvent, slsp/v2c events are raised.

HELP - Static variable in class commands.TranslateCommand

I

init() - Method in class plugins.V2CPluginLSP

This method is called when the plugin is registered.

init() - Method in class plugins.V2CPluginVDMJ

L

left - Variable in class examples.v2c.tr.expressions.TRBinaryExpression

M

MAPPINGS - Static variable in class examples.v2c.tr.TRNode

P

plugins - package plugins

R

right - Variable in class examples.v2c.tr.expressions.TRBinaryExpression

run(String) - Method in class commands.TranslateCommand

The run method is called whenever the user types "translate " in the VDMJ command line interpreter (CommandReader.java).

T

translate() - Method in class examples.v2c.tr.definitions.TRClassDefinition

translate() - Method in class examples.v2c.tr.definitions.TRClassList

translate() - Method in class examples.v2c.tr.definitions.TRDefinition

translate() - Method in class examples.v2c.tr.definitions.TRDefinitionList

translate() - Method in class examples.v2c.tr.definitions.TRExplicitFunctionDefinition

translate() - Method in class examples.v2c.tr.definitions.TRValueDefinition

translate() - Method in class examples.v2c.tr.expressions.TRApplyExpression

translate() - Method in class examples.v2c.tr.expressions.TRCompareExpression

translate() - Method in class examples.v2c.tr.expressions.TRDivideExpression

translate() - Method in class examples.v2c.tr.expressions.TREqualsExpression

translate() - Method in class examples.v2c.tr.expressions.TRExpression

translate() - Method in class examples.v2c.tr.expressions.TRExpressionList

translate() - Method in class examples.v2c.tr.expressions.TRIfExpression

translate() - Method in class examples.v2c.tr.expressions.TRLiteralExpression

translate() - Method in class examples.v2c.tr.expressions.TRPlusExpression

translate() - Method in class examples.v2c.tr.expressions.TRSubtractExpression

translate() - Method in class examples.v2c.tr.expressions.TRTimesExpression

translate() - Method in class examples.v2c.tr.expressions.TRVariableExpression

translate() - Method in class examples.v2c.tr.modules.TRModule

translate() - Method in class examples.v2c.tr.modules.TRModuleList

translate() - Method in class examples.v2c.tr.types.TRFunctionType

translate() - Method in class examples.v2c.tr.types.TRNumericType

translate() - Method in class examples.v2c.tr.types.TRType

translate() - Method in class examples.v2c.tr.types.TRTypeList

TranslateCommand - Class in commands

All command line plugins must extend AnalysisCommand and be in the class "plugins" by default.

TranslateCommand(String) - Constructor for class commands.TranslateCommand

The constructor is called from the command line interpreter when the user first types "translate ".

TRApplyExpression - Class in examples.v2c.tr.expressions

TRApplyExpression(TRExpression, TRExpressionList) - Constructor for class examples.v2c.tr.expressions.TRApplyExpression

TRBinaryExpression - Class in examples.v2c.tr.expressions

TRBinaryExpression(TRExpression, TRExpression) - Constructor for class examples.v2c.tr.expressions.TRBinaryExpression

TRClassDefinition - Class in examples.v2c.tr.definitions

TRClassDefinition(LexCommentList, TCNameToken, TRDefinitionList) - Constructor for class examples.v2c.tr.definitions.TRClassDefinition

TRClassList - Class in examples.v2c.tr.definitions

TRClassList(TCClassList) - Constructor for class examples.v2c.tr.definitions.TRClassList

TRCompareExpression - Class in examples.v2c.tr.expressions

TRCompareExpression(TRExpression, LexToken, TRExpression) - Constructor for class examples.v2c.tr.expressions.TRCompareExpression

TRDefinition - Class in examples.v2c.tr.definitions

TRDefinition(LexCommentList) - Constructor for class examples.v2c.tr.definitions.TRDefinition

TRDefinitionList - Class in examples.v2c.tr.definitions

TRDefinitionList(TCDefinitionList) - Constructor for class examples.v2c.tr.definitions.TRDefinitionList

TRDivideExpression - Class in examples.v2c.tr.expressions

TRDivideExpression(TRExpression, TRExpression) - Constructor for class examples.v2c.tr.expressions.TRDivideExpression

TREqualsExpression - Class in examples.v2c.tr.expressions

TREqualsExpression(TRExpression, TRExpression) - Constructor for class examples.v2c.tr.expressions.TREqualsExpression

TRExplicitFunctionDefinition - Class in examples.v2c.tr.definitions

TRExplicitFunctionDefinition(LexCommentList, TCNameToken, TRFunctionType, TRParameterList, TRExpression) - Constructor for class examples.v2c.tr.definitions.TRExplicitFunctionDefinition

TRExpression - Class in examples.v2c.tr.expressions

TRExpression() - Constructor for class examples.v2c.tr.expressions.TRExpression

TRExpressionList - Class in examples.v2c.tr.expressions

TRExpressionList(TCExpressionList) - Constructor for class examples.v2c.tr.expressions.TRExpressionList

TRFunctionType - Class in examples.v2c.tr.types

TRFunctionType(TRTypeList, TRType) - Constructor for class examples.v2c.tr.types.TRFunctionType

TRIfExpression - Class in examples.v2c.tr.expressions

TRIfExpression(TRExpression, TRExpression, TRExpression) - Constructor for class examples.v2c.tr.expressions.TRIfExpression

TRLiteralExpression - Class in examples.v2c.tr.expressions

TRLiteralExpression(TCIntegerLiteralExpression) - Constructor for class examples.v2c.tr.expressions.TRLiteralExpression

TRLiteralExpression(TCRealLiteralExpression) - Constructor for class examples.v2c.tr.expressions.TRLiteralExpression

TRMappedList<FROM,TO> - Class in examples.v2c.tr

TRMappedList() - Constructor for class examples.v2c.tr.TRMappedList

TRMappedList(List<FROM>) - Constructor for class examples.v2c.tr.TRMappedList

TRModule - Class in examples.v2c.tr.modules

TRModule(TCIdentifierToken, TRDefinitionList) - Constructor for class examples.v2c.tr.modules.TRModule

TRModuleList - Class in examples.v2c.tr.modules

TRModuleList(TCModuleList) - Constructor for class examples.v2c.tr.modules.TRModuleList

TRNode - Class in examples.v2c.tr

TRNode() - Constructor for class examples.v2c.tr.TRNode

TRNumericType - Class in examples.v2c.tr.types

TRNumericType(TCIntegerType) - Constructor for class examples.v2c.tr.types.TRNumericType

TRNumericType(TCNaturalOneType) - Constructor for class examples.v2c.tr.types.TRNumericType

TRNumericType(TCNaturalType) - Constructor for class examples.v2c.tr.types.TRNumericType

TRNumericType(TCRationalType) - Constructor for class examples.v2c.tr.types.TRNumericType

TRNumericType(TCRealType) - Constructor for class examples.v2c.tr.types.TRNumericType

TRParameterList - Class in examples.v2c.tr.patterns

TRParameterList(TCPatternListList) - Constructor for class examples.v2c.tr.patterns.TRParameterList

TRPlusExpression - Class in examples.v2c.tr.expressions

TRPlusExpression(TRExpression, TRExpression) - Constructor for class examples.v2c.tr.expressions.TRPlusExpression

TRSubtractExpression - Class in examples.v2c.tr.expressions

TRSubtractExpression(TRExpression, TRExpression) - Constructor for class examples.v2c.tr.expressions.TRSubtractExpression

TRTimesExpression - Class in examples.v2c.tr.expressions

TRTimesExpression(TRExpression, TRExpression) - Constructor for class examples.v2c.tr.expressions.TRTimesExpression

TRType - Class in examples.v2c.tr.types

TRType() - Constructor for class examples.v2c.tr.types.TRType

TRTypeList - Class in examples.v2c.tr.types

TRTypeList(TCTypeList) - Constructor for class examples.v2c.tr.types.TRTypeList

TRValueDefinition - Class in examples.v2c.tr.definitions

TRValueDefinition(LexCommentList, TCPattern, TRType, TRExpression) - Constructor for class examples.v2c.tr.definitions.TRValueDefinition

TRVariableExpression - Class in examples.v2c.tr.expressions

TRVariableExpression(TCNameToken) - Constructor for class examples.v2c.tr.expressions.TRVariableExpression

V

V2CPluginLSP - Class in plugins

All LSP plugins must extend AnalysisPlugin.

V2CPluginLSP() - Constructor for class plugins.V2CPluginLSP

V2CPluginVDMJ - Class in plugins

A VDMJ Plugin to enable the V2C translate features.

V2CPluginVDMJ() - Constructor for class plugins.V2CPluginVDMJ

C E F G H I L M P R T V
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form