Class MablCppCodeGenerator


  • public class MablCppCodeGenerator
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      MablCppCodeGenerator​(java.io.File outputDirectory)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.List<java.io.File> generate​(org.intocps.maestro.ast.node.INode spec, java.util.Map<org.intocps.maestro.ast.node.INode,​org.intocps.maestro.ast.node.PType> types)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • MablCppCodeGenerator

        public MablCppCodeGenerator​(java.io.File outputDirectory)
    • Method Detail

      • generate

        public java.util.List<java.io.File> generate​(org.intocps.maestro.ast.node.INode spec,
                                                     java.util.Map<org.intocps.maestro.ast.node.INode,​org.intocps.maestro.ast.node.PType> types)
                                              throws java.io.IOException,
                                                     org.intocps.maestro.ast.analysis.AnalysisException
        Throws:
        java.io.IOException
        org.intocps.maestro.ast.analysis.AnalysisException