Changes between Version 1 and Version 2 of MethodInvocation

Timestamp:

06/26/13 10:36:28 (11 years ago)

Author:

hopscc

Comment:

--

MethodInvocation

@@ -1 @@
-= Method Invocation =
+= Method Invocation and Instance Creation =
+
+== Class Instance Creation ==
+Instances of a Type (Class or Structure) are created by invoking the class (Type) name, passing arguments as given in any of the classes initializer methods. The initializer to invoke is chosen by finding the best match to the number and types of parameters given in the Type initializer method(s).
+
+
+{{{
+#!cobra
+ci = MyClass('neko')  # ci is an instance of MyClass
+assert c.name == 'neko'
+
+ci = MyClass()   # error - no corresponding no-arg initializer
+ci = MyClass(99) # error - no corresponding (1 int param) initializer
+
+class MyClass
+    var name = ''
+
+    def init(n as String)
+        base.init
+        .name = n
+    # ...
+
+}}}
+
+Unlike method invocation, even if the Type has a no-arg constructor you must still explicitly specify an empty argument list.
+(to distinguish between a instance creation and obtaining a reference to the named Type)
+{{{
+#!cobra
+  ci = NoArgClass() 
+  # ci is an instance of NoArgClass
+
+  # NOT xc = NoArgClass 
+  # this makes xc a reference to the type NoArgClass
+  # same as above construction followed by xc = ci.typeOf 
+}}}
+ 
+
 
 TODO
 
-Class Creation 
-   * Instance creation calls the matching class initializer ( matches on arglist and types)
-   * !ClassName() - no args 
-   * !ClassName( arg,arg,....)
-
-Class Methods
-   * call as instance.methodName(args, arg, arg...)
+== Invoking Methods ==
+   * call as instance.methodName(arg, arg, arg...)
+   * call as Class.methodName(arg, arg, arg...) for class/shared methods (stylistic) though can access through an instance  
    * Methods without params dont require trailing empty () - instance.methodName
-   * Methods declared without return type have void returnType, cannot be assigned to anything 
+   * Methods declared without return type have a '''void''' returnType, cannot be assigned to anything 
+   * Methods declared without access modifiers have  '''public''' access - accessible to everything 
 
 Method references
-   * ref methodName - Obtain a method reference, 
-   * pass to listen/ignore statement or store in a variable of the appropriate type ( sig - method Signature)
-   * call/invoke using variable name with () following enclosing arglist 
-   * even if no args requires ()
+   * ref instance.methodName - Obtain a (instance and) method reference, 
+   * pass to listen/ignore statement or store in a variable of the appropriate type ( typed by a sig - method Signature)
+   * call/invoke using variable name with () following enclosing the call arglist 
+   * even if no args passed still requires ().
    * example: