1. Parsing result: 7 errors
  2. : Error: MTTParseError: Illegal/unknown context: uml, line: 31, column: 0
  3. : Error: MTTParseError: Can't find feature 'name' for type 'Class'., line: 13, column: 20
  4. : Error: MTTParseError: Type not found: 'Property' in metamodel 'null', line: 0, column: 0
  5. : Error: MTTParseError: Can't find feature 'ownedAttribute' for type 'Class'., line: 15, column: 4
  6. : Error: MTTParseError: Can't find feature 'name' for type 'Class'., line: 19, column: 20
  7. : Error: MTTParseError: Illegal/unknown context: uml, line: 31, column: 0
  8. : Error: MTTParseError: Can't find feature 'type' for type 'Property'., line: 27, column: 18
  9. Exception in thread "main" org.eclipse.emf.ecore.resource.impl.ResourceSetImpl$1DiagnosticWrappedException: org.eclipse.emf.ecore.xmi.PackageNotFoundException: Package with uri 'http://www.eclipse.org/uml2/2.1.0/UML' not found. (file:/D:/workspace/UML2Alloy/My.uml, 2, 162)
  10. at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.handleDemandLoadException(ResourceSetImpl.java:315)
  11. at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.demandLoadHelper(ResourceSetImpl.java:274)
  12. at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.getResource(ResourceSetImpl.java:397)
  13. at br.edu.ufcg.mdaveritas.mofscriptExecutor.MOFScriptExecutor.loadSourceModel(MOFScriptExecutor.java:152)
  14. at br.edu.ufcg.mdaveritas.mofscriptExecutor.MOFScriptExecutor.executeTransformation(MOFScriptExecutor.java:165)
  15. at br.edu.ufcg.mdaveritas.mofscriptExecutor.MOFScriptExecutor.makeTransformation(MOFScriptExecutor.java:141)
  16. at br.edu.ufcg.mdaveritas.mofscriptExecutor.MOFScriptExecutor.executeTransformations(MOFScriptExecutor.java:237)
  17. at br.edu.ufcg.mdaveritas.mofscriptExecutor.MOFScriptExecutor.main(MOFScriptExecutor.java:254)
  18. Caused by: org.eclipse.emf.ecore.xmi.PackageNotFoundException: Package with uri 'http://www.eclipse.org/uml2/2.1.0/UML' not found. (file:/D:/workspace/UML2Alloy/My.uml, 2, 162)
  19. at org.eclipse.emf.ecore.xmi.impl.XMLHandler.getPackageForURI(XMLHandler.java:2566)
  20. at org.eclipse.emf.ecore.xmi.impl.XMLHandler.getFactoryForPrefix(XMLHandler.java:2398)
  21. at org.eclipse.emf.ecore.xmi.impl.XMLHandler.createObjectByType(XMLHandler.java:1276)
  22. at org.eclipse.emf.ecore.xmi.impl.XMLHandler.createTopObject(XMLHandler.java:1445)
  23. at org.eclipse.emf.ecore.xmi.impl.XMLHandler.processElement(XMLHandler.java:1010)
  24. at org.eclipse.emf.ecore.xmi.impl.XMIHandler.processElement(XMIHandler.java:83)
  25. at org.eclipse.emf.ecore.xmi.impl.XMLHandler.startElement(XMLHandler.java:992)
  26. at org.eclipse.emf.ecore.xmi.impl.XMLHandler.startElement(XMLHandler.java:712)
  27. at org.eclipse.emf.ecore.xmi.impl.XMIHandler.startElement(XMIHandler.java:167)
  28. at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.startElement(Unknown Source)
  29. at com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.startElement(Unknown Source)
  30. at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanStartElement(Unknown Source)
  31. at com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl$ContentDriver.scanRootElementHook(Unknown Source)
  32. at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(Unknown Source)
  33. at com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl$PrologDriver.next(Unknown Source)
  34. at com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(Unknown Source)
  35. at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(Unknown Source)
  36. at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(Unknown Source)
  37. at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(Unknown Source)
  38. at com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(Unknown Source)
  39. at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(Unknown Source)
  40. at com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(Unknown Source)
  41. at javax.xml.parsers.SAXParser.parse(Unknown Source)
  42. at org.eclipse.emf.ecore.xmi.impl.XMLLoadImpl.load(XMLLoadImpl.java:181)
  43. at org.eclipse.emf.ecore.xmi.impl.XMLResourceImpl.doLoad(XMLResourceImpl.java:180)
  44. at org.eclipse.emf.ecore.resource.impl.ResourceImpl.load(ResourceImpl.java:1414)
  45. at org.eclipse.emf.ecore.resource.impl.ResourceImpl.load(ResourceImpl.java:1210)
  46. at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.demandLoad(ResourceSetImpl.java:255)
  47. at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.demandLoadHelper(ResourceSetImpl.java:270)
  48. ... 6 more