Mercury
API
Generated with
Mercury/edu.vermontstate.mercury/SpecificationGenerator

SpecificationGenerator

edu.vermontstate.mercury.SpecificationGenerator
class SpecificationGenerator(templateFolder: String, nameOfFile: String, nameOfModule: String, nameInResolver: String, symbolTable: BasicSymbolTable, out: PrintStream, reporter: Reporter) extends MXDRBaseVisitor[Void]

Attributes

Graph
Supertypes
class MXDRBaseVisitor[Void]
trait MXDRVisitor[Void]
class AbstractParseTreeVisitor[Void]
trait ParseTreeVisitor[Void]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def addedLines(lines: List[String]): List[String]
def doCheck(id: String, arrowFlag: Int): Void
def doDecode(ctx: Struct_bodyContext, id: String, alctx: Aspect_listContext, arrowFlag: Int): Void
def doEncode(ctx: Struct_bodyContext, id: String, alctx: Aspect_listContext, arrowFlag: Int): Void
def processTemplate(): List[String]
override def visitAdd_expression(ctx: Add_expressionContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
override def visitAspect_definition(ctx: Aspect_definitionContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
override def visitAspect_list(ctx: Aspect_listContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
override def visitConstant_def(ctx: Constant_defContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
override def visitDeclaration(ctx: DeclarationContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
override def visitDefinition(ctx: DefinitionContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
override def visitEnum_body(ctx: Enum_bodyContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
override def visitEnum_type_spec(ctx: Enum_type_specContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
override def visitExpression(ctx: ExpressionContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
override def visitLine(ctx: LineContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
override def visitMultiply_expression(ctx: Multiply_expressionContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
override def visitPrimary_expression(ctx: Primary_expressionContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
def visitRange_constraint(ctx: Range_constraintContext, floatFlag: Int): Void
override def visitSpecification(ctx: SpecificationContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
def visitStruct_body(ctx: Struct_bodyContext, id: String): Void
override def visitStruct_type_spec(ctx: Struct_type_specContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
override def visitType_def(ctx: Type_defContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
override def visitType_specifier(ctx: Type_specifierContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor
def visitType_specifier2(ctx: Type_specifierContext): Void
override def visitValue(ctx: ValueContext): Void

Attributes

Definition Classes
MXDRBaseVisitor -> MXDRVisitor

Inherited methods

def visit(x$0: ParseTree): Void

Attributes

Inherited from:
AbstractParseTreeVisitor
def visitCase_spec(x$0: Case_specContext): Void

Attributes

Inherited from:
MXDRBaseVisitor
def visitChildren(x$0: RuleNode): Void

Attributes

Inherited from:
AbstractParseTreeVisitor
def visitDecoder_def(x$0: Decoder_defContext): Void

Attributes

Inherited from:
MXDRBaseVisitor
def visitEncoder_def(x$0: Encoder_defContext): Void

Attributes

Inherited from:
MXDRBaseVisitor
def visitErrorNode(x$0: ErrorNode): Void

Attributes

Inherited from:
AbstractParseTreeVisitor
def visitRange_constraint(x$0: Range_constraintContext): Void

Attributes

Inherited from:
MXDRBaseVisitor
def visitStruct_body(x$0: Struct_bodyContext): Void

Attributes

Inherited from:
MXDRBaseVisitor
def visitSubtype_spec(x$0: Subtype_specContext): Void

Attributes

Inherited from:
MXDRBaseVisitor
def visitTerminal(x$0: TerminalNode): Void

Attributes

Inherited from:
AbstractParseTreeVisitor
def visitUnion_body(x$0: Union_bodyContext): Void

Attributes

Inherited from:
MXDRBaseVisitor
def visitUnion_type_spec(x$0: Union_type_specContext): Void

Attributes

Inherited from:
MXDRBaseVisitor
Generated with