Module dev.civl.mc

Class ContractTransformer

java.lang.Object
dev.civl.abc.transform.IF.BaseTransformer
dev.civl.mc.transform.IF.ContractTransformer
All Implemented Interfaces:
dev.civl.abc.transform.IF.Transformer

public class ContractTransformer extends dev.civl.abc.transform.IF.BaseTransformer
  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final File[]
     
    static final String
    The code (short name) of this transformer.
    static final String
    The long name of the transformer.
    static final String
    The description of this transformer.

    Fields inherited from class dev.civl.abc.transform.IF.BaseTransformer

    astFactory, code, longName, nodeFactory, shortDescription
  • Constructor Summary

    Constructors
    Constructor
    Description
    ContractTransformer(dev.civl.abc.ast.IF.ASTFactory astFactory, String targetFunction, CIVLConfiguration civlConfig)
     
  • Method Summary

    Modifier and Type
    Method
    Description
    dev.civl.abc.ast.IF.AST
    transform(dev.civl.abc.ast.IF.AST ast)
     

    Methods inherited from class dev.civl.abc.transform.IF.BaseTransformer

    getCode, getConfiguration, getShortDescription, newStringLiteralNode, toString

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
  • Field Details

    • additionalLibraries

      public static final File[] additionalLibraries
    • CODE

      public static final String CODE
      The code (short name) of this transformer.
      See Also:
    • LONG_NAME

      public static final String LONG_NAME
      The long name of the transformer.
      See Also:
    • SHORT_DESCRIPTION

      public static final String SHORT_DESCRIPTION
      The description of this transformer.
      See Also:
  • Constructor Details

    • ContractTransformer

      public ContractTransformer(dev.civl.abc.ast.IF.ASTFactory astFactory, String targetFunction, CIVLConfiguration civlConfig)
  • Method Details

    • transform

      public dev.civl.abc.ast.IF.AST transform(dev.civl.abc.ast.IF.AST ast) throws dev.civl.abc.token.IF.SyntaxException
      Throws:
      dev.civl.abc.token.IF.SyntaxException