All Classes
-
Class Summary Class Description TranslateCommand All command line plugins must extend AnalysisCommand and be in the class "plugins" by default.TRApplyExpression TRBinaryExpression TRClassDefinition TRClassList TRCompareExpression TRDefinition TRDefinitionList TRDivideExpression TREqualsExpression TRExplicitFunctionDefinition TRExpression TRExpressionList TRFunctionType TRIfExpression TRLiteralExpression TRMappedList<FROM extends com.fujitsu.vdmj.mapper.Mappable,TO extends com.fujitsu.vdmj.mapper.Mappable> TRModule TRModuleList TRNode TRNumericType TRParameterList TRPlusExpression TRSubtractExpression TRTimesExpression TRType TRTypeList TRValueDefinition TRVariableExpression V2CPluginLSP All LSP plugins must extend AnalysisPlugin.V2CPluginVDMJ A VDMJ Plugin to enable the V2C translate features.