https://sourceforge.net/p/alloymda/wiki/cd2alloy%2520%253C%2520FileSystem.uml/Recent changes to cd2alloy < FileSystem.umlenSun, 25 Mar 2012 20:17:22 -0000https://sourceforge.net/p/alloymda/wiki/cd2alloy%2520%253C%2520FileSystem.uml/~~~~~ module FileSystem sig Time {} sig Dir extends Object {} sig File extends Object {} sig FileSystem {objects : Object set -> Time,root : Dir one -> Time,wd : Dir one -> Time} fun ls [self : FileSystem,t : Time] : set Object {none} pred rm [self : FileSystem,a : File,t,t' : Time] {} pred cd [self : FileSystem,a : Dir,t,t' : Time] {} sig Name {} abstract sig Object {name : one Name,parent : Dir lone -> Time} ~~~~~Alcino CunhaSun, 25 Mar 2012 20:17:22 -0000https://sourceforge.net98c38ce074031073ec4fa047efd6eb6b5f05168a