edu.mit.csail.sdg.alloy4compiler.translator
Class A4SolutionWriter

java.lang.Object
  extended by edu.mit.csail.sdg.alloy4compiler.translator.A4SolutionWriter

public final class A4SolutionWriter
extends java.lang.Object

This helper class contains helper routines for writing an A4Solution object out as an XML file.


Method Summary
static void writeMetamodel(ConstList<Sig> sigs, java.lang.String originalFilename, java.io.PrintWriter out)
          Write the metamodel as <instance>..</instance> in XML format.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

writeMetamodel

public static void writeMetamodel(ConstList<Sig> sigs,
                                  java.lang.String originalFilename,
                                  java.io.PrintWriter out)
                           throws Err
Write the metamodel as <instance>..</instance> in XML format.

Throws:
Err