A C E G H I L M P R S T V

A

analyse(RPCRequest) - Method in class plugins.V2CPlugin

The analyse method is called when the LSP client sends a request that has a name recognised by the supportsMethod method above.

C

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

G

getName() - Method in class plugins.V2CPlugin

This is the registered name in the plugin registry.

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

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

H

help() - Method in class plugins.TranslatePlugin

Once this plugin is loaded (but not before) the following help line is added to the general "help" output in the command line.

I

init() - Method in class plugins.V2CPlugin

This method is called when the plugin is registered.

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 plugins.TranslatePlugin

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

S

supportsMethod(String) - Method in class plugins.V2CPlugin

A plugin can support a number of LSP methods, but here we match just one.

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

TranslatePlugin - Class in plugins

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

TranslatePlugin(Interpreter) - Constructor for class plugins.TranslatePlugin

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 extends Mappable,TO extends Mappable> - Class in examples.v2c.tr

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

TRMappedList() - 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(TCNaturalType) - Constructor for class examples.v2c.tr.types.TRNumericType

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

TRNumericType(TCIntegerType) - 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

V2CPlugin - Class in plugins

All LSP plugins must extend AnalysisPlugin.

V2CPlugin() - Constructor for class plugins.V2CPlugin

A plugin must provide a default constructor, as here or a static "factory" method that takes a single Dialect parameter.

A C E G H I L M P R S T V