Package edu.mit.csail.sdg.alloy4

Examples of edu.mit.csail.sdg.alloy4.XMLNode

412
413
414
415
416
417
418
419
        }
    }

    /** Validate the given filename to see if it is a valid Alloy XML instance file. */
    private static void validate(String filename) throws Exception {
        A4SolutionReader.read(new ArrayList<Sig>(), new XMLNode(new File(filename))).toString();
        StaticInstanceReader.parseInstance(new File(filename));
    }
View Full Code Here
210
211
212
213
214
215
216
217
218
219
220
221
222
223
      }
   }

   /** Parse the file into an AlloyInstance if possible. */
   private StaticInstanceReader(XMLNode root) throws Err {
      XMLNode inst = null;
      for(XMLNode sub: root) if (sub.is("instance")) { inst=sub; break; }
      if (inst==null) throw new ErrorSyntax("The XML file must contain an <instance> element.");
      boolean isMeta = "yes".equals(inst.getAttribute("metamodel"));
      A4Solution sol = A4SolutionReader.read(new ArrayList<Sig>(), root);
      for (Sig s:sol.getAllReachableSigs()) if (s instanceof PrimSig && ((PrimSig)s).parent==Sig.UNIV) toplevels.add((PrimSig)s);
      if (!isMeta) {
         sig2type.put(Sig.UNIV, AlloyType.UNIV);
         sig2type.put(Sig.SIGINT, AlloyType.INT);
View Full Code Here
288
289
290
291
292
293
294
295
296
297
   }

   /** Parse the file into an AlloyInstance if possible. */
   public static AlloyInstance parseInstance(File file) throws Err {
      try {
         return (new StaticInstanceReader(new XMLNode(file))).ans;
      } catch(IOException ex) {
         throw new ErrorFatal("Error reading the XML file: " + ex, ex);
      }
   }
View Full Code Here
297
298
299
300
301
302
303
304
305
306
   }

   /** Parse the file into an AlloyInstance if possible, then close the Reader afterwards. */
   public static AlloyInstance parseInstance(Reader reader) throws Err {
      try {
         return (new StaticInstanceReader(new XMLNode(reader))).ans;
      } catch(IOException ex) {
         throw new ErrorFatal("Error reading the XML file: " + ex, ex);
      }
   }
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
   /** Read the XML file and merge its settings into an existing VizState object. */
   public static void readAlloy(String filename, VizState theme) throws IOException {
      File file = new File(filename);
      try {
         XMLNode elem = new XMLNode(file);
         for(XMLNode sub: elem.getChildren("view")) parseView(sub,theme);
      } catch(Throwable e) {
         throw new IOException("The file \""+file.getPath()+"\" is not a valid XML file, or an error occurred in reading.");
      }
   }
View Full Code Here
79
80
81
82
83
84
85
86
87
88
89
     }      
     return ret;
  }
 
  public static XMLNode getNode(String xPathPattern) {
     XMLNode ret = null;
     try {
         ret = (XMLNode) rootConfigNode.selectSingleNode(xPathPattern);
     } catch (Exception e) {
         System.out.println(e.toString());
     }
View Full Code Here
179
180
181
182
183
184
185
186
187
188
189
190
191
192
         

          //parcoure des nodes
          NodeList nl =  n.getChildNodes();
          for (int i = 0; i < nl.getLength(); i++) {
             XMLNode theNode = (XMLNode) nl.item(i);
             if (theNode.getNodeName().compareTo("#text")!=0) {
               if (theNode.getNodeName().compareTo("#document")!=0){
               infoNode(theNode , xpath + theNode.getNodeName()+"/");
               } else {
               infoNode(theNode , xpath );
               }
             }
           }
View Full Code Here
67
68
69
70
71
72
73
74
75
76
77
78
79
  { 
      Run run = new Run(args);
      
     try {
    
      XMLNode lstLogSourceNode = (XMLNode) xmlConfig.getNode("/log4plsql");
      NodeList listLogSource = lstLogSourceNode.selectNodes("logSource");
      XMLNode theLogSource;
      dbLogger.debug("Nbr backgroundProcess to launch :"+listLogSource.getLength());
      if (listLogSource.getLength() < 1 )
        dbLogger.error("No backgroundProcess to launch");
      for (int i=0; i<listLogSource.getLength(); i++){
        dbLogger.debug("start " + i + " backgroundProcess");
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
        }
    }

    public void transform(Node sourceNode, ContentHandler resultContentHandler) throws XMLPlatformException {
        try {
            XMLNode xmlNode = (XMLNode)sourceNode;
            xmlNode.reportSAXEvents(resultContentHandler);
        } catch (SAXException e) {
            throw XMLPlatformException.xmlPlatformTransformException(e);
        }
    }
View Full Code Here
138
139
140
141
142
143
144
145
146
147
148
            } else {
                xmlDocument.setEncoding(getEncoding());
                xmlDocument.setVersion(getVersion());
            }

            XMLNode xmlNode = (XMLNode)sourceNode;
            PrintWriter printWriter = new PrintWriter(resultWriter);
            XDKPrintDriver xdkPrintDriver = new XDKPrintDriver(printWriter);
            xdkPrintDriver.setFormattedOutput(isFormattedOutput());
            xdkPrintDriver.setEncoding(getEncoding());
            xdkPrintDriver.print(xmlNode);
View Full Code Here
TOP

Related Classes of edu.mit.csail.sdg.alloy4.XMLNode

  • edu.mit.csail.sdg.alloy4compiler.ast.Browsable
  • edu.mit.csail.sdg.alloy4compiler.ast.Decl
  • edu.mit.csail.sdg.alloy4compiler.ast.Expr
  • edu.mit.csail.sdg.alloy4compiler.ast.ExprBadCall
  • edu.mit.csail.sdg.alloy4compiler.ast.ExprBadJoin
  • edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary
  • edu.mit.csail.sdg.alloy4compiler.ast.ExprCall
  • edu.mit.csail.sdg.alloy4compiler.ast.ExprChoice
  • edu.mit.csail.sdg.alloy4compiler.ast.ExprITE
  • edu.mit.csail.sdg.alloy4compiler.ast.ExprLet
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.