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

java.lang.Object
  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