https://sourceforge.net/p/alloymda/wiki/alloy2cd%2520%253C%2520FileSystem.als/Recent changes to alloy2cd < FileSystem.alsenSun, 25 Mar 2012 20:14:53 -0000https://sourceforge.net/p/alloymda/wiki/alloy2cd%2520%253C%2520FileSystem.als/<pre></pre>Alcino CunhaSun, 25 Mar 2012 20:14:53 -0000https://sourceforge.netea63e66b4ab6e2a9649d01de5bcf179440688b0ehttps://sourceforge.net/p/alloymda/wiki/alloy2cd%2520%253C%2520FileSystem.als/<pre>--- v1 +++ v2 @@ -1,5 +1,4 @@ ~~~~~ - <?xml version='1.0' encoding='UTF-8'?> <uml:Package xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" name='FileSystem'> </pre>Alcino CunhaSun, 25 Mar 2012 20:14:06 -0000https://sourceforge.net7b77fb6e7b20d7aa2bd3ceaa5d129062b0a012a3https://sourceforge.net/p/alloymda/wiki/alloy2cd%2520%253C%2520FileSystem.als/~~~~~ <?xml version='1.0' encoding='UTF-8'?> <uml:Package xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" name='FileSystem'> <packagedElement xmi:type='uml:Class' xmi:id='Dir' name='Dir' isAbstract='false' > <generalization xmi:type='uml:Generalization' general='Object' /> </packagedElement> <packagedElement xmi:type='uml:Class' xmi:id='File' name='File' isAbstract='false' > <generalization xmi:type='uml:Generalization' general='Object' /> </packagedElement> <packagedElement xmi:type='uml:Class' xmi:id='FileSystem' name='FileSystem' isAbstract='false' > <ownedAttribute xmi:type='uml:Property' xmi:id='objects' name='objects' isReadOnly='false'> <type xmi:idref="Object"/> <upperValue xmi:type='uml:LiteralUnlimitedNatural' value='-1' /> <lowerValue xmi:type='uml:LiteralInteger' value='0' /> </ownedAttribute> <ownedAttribute xmi:type='uml:Property' xmi:id='root' name='root' isReadOnly='false'> <type xmi:idref="Dir"/> <upperValue xmi:type='uml:LiteralUnlimitedNatural' value='1' /> <lowerValue xmi:type='uml:LiteralInteger' value='1' /> </ownedAttribute> <ownedAttribute xmi:type='uml:Property' xmi:id='wd' name='wd' isReadOnly='false'> <type xmi:idref="Dir"/> <upperValue xmi:type='uml:LiteralUnlimitedNatural' value='1' /> <lowerValue xmi:type='uml:LiteralInteger' value='1' /> </ownedAttribute> <ownedOperation xmi:type='uml:Operation' name='ls'> <ownedParameter xmi:type='uml:Parameter' type='Object' direction='return'> <upperValue xmi:type='uml:LiteralUnlimitedNatural' value='-1' /> <lowerValue xmi:type='uml:LiteralInteger' value='0' /> </ownedParameter> </ownedOperation> <ownedOperation xmi:type='uml:Operation' name='rm'> <ownedParameter xmi:type='uml:Parameter' name='a' type='File'/> </ownedOperation> <ownedOperation xmi:type='uml:Operation' name='cd'> <ownedParameter xmi:type='uml:Parameter' name='a' type='Dir'/> </ownedOperation> </packagedElement> <packagedElement xmi:type='uml:Class' xmi:id='Name' name='Name' isAbstract='false' > </packagedElement> <packagedElement xmi:type='uml:Class' xmi:id='Object' name='Object' isAbstract='true' > <ownedAttribute xmi:type='uml:Property' xmi:id='name' name='name' isReadOnly='true'> <type xmi:idref="Name"/> <upperValue xmi:type='uml:LiteralUnlimitedNatural' value='1' /> <lowerValue xmi:type='uml:LiteralInteger' value='1' /> </ownedAttribute> <ownedAttribute xmi:type='uml:Property' xmi:id='parent' name='parent' isReadOnly='false'> <type xmi:idref="Dir"/> <upperValue xmi:type='uml:LiteralUnlimitedNatural' value='1' /> <lowerValue xmi:type='uml:LiteralInteger' value='0' /> </ownedAttribute> </packagedElement> </uml:Package> ~~~~~Alcino CunhaSun, 25 Mar 2012 20:13:45 -0000https://sourceforge.neta0c82b191906e41e3b27a6af7ece904e9a989a23