degal/filesystem.py
changeset 95 3b00bd676fc9
parent 93 d3872a673fbe
child 97 92c20f8b297f
equal deleted inserted replaced
94:676c1d201cfe 95:3b00bd676fc9
   551         """
   551         """
   552             Returns True if both files exist, and this file is older than the given file.
   552             Returns True if both files exist, and this file is older than the given file.
   553         """
   553         """
   554         
   554         
   555         # mirror
   555         # mirror
   556         ret = file.newer_than(self)
   556         return file.newer_than(self)
   557         
       
   558         # retain meaning of `None`, but invert True/False
       
   559         if ret is None :
       
   560             return ret
       
   561 
       
   562         else :
       
   563             return not ret
       
   564 
   557 
   565 class Directory (Node) :
   558 class Directory (Node) :
   566     """
   559     """
   567         A directory is a node that contains other nodes.
   560         A directory is a node that contains other nodes.
   568     """
   561     """