Changeset 2911 for ext/Perl-MetaClass/lib/Perl/MetaClass.pm

Timestamp:

05/10/05 02:16:17 (4 years ago)

Author:

mugwump

svk:copy_cache_prev:

4437

Message:

* explanatory essay in MetaAssoc?
* added missing clause on a Class.hs rule
* convert ∃ → ∀ in MetaClass?

Files:

• ext/Perl-MetaClass/lib/Perl/MetaClass.pm (modified) (3 diffs)

ext/Perl-MetaClass/lib/Perl/MetaClass.pm

@@ -29 +29 @@
 # NOTE: 
 # the next 2 methods enforce the rule;
-#   ∃ MetaClass A, B | A.clsSuper = B ↔ A ∈ B.clsSubClasses
+#   ∀ MetaClass A, B | A.clsSuper = B ↔ A ∈ B.clsSubClasses
 # which in english means:
 #   A is a superclass of B and A is found within B's list of subclasses
@@ -73 +73 @@
 }
 
-# XXX -- what do we do about visibility here?
-# is it a property of the MetaProperty? or is
-# it a property of the relationship with the
-# MetaClass? 
-
+# visibility is not as important on the MetaModel as it is on the real
+# Class Model.
 sub clsProperties(Str $inv: Array *@properties) returns Hash {
     my %self := get_instance($inv, "Perl::MetaClass");
@@ -128 +125 @@
 
 =head1 SYNOPSIS
-  
+
   #         Package
   #          |