Ambient-Oriented Programming

User Tools

Site Tools

Trace:
at:tutorial:appendix

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
at:tutorial:appendix [2008/07/10 16:31] – added tvcutsemat:tutorial:appendix [2008/07/10 16:32] – * tvcutsem
Line 536: Line 536:
  
 You can also force a ''StructuralTypeMismatch'' exception to be raised if the object does not conform to the type: You can also force a ''StructuralTypeMismatch'' exception to be raised if the object does not conform to the type:
- *  ''ensure: tom implements: PersonProtocol'' => true or exception +  *  ''ensure: tom implements: PersonProtocol'' => true or exception 
- *  ''PersonProtocol.checkConformance(tom)'' => true or exception+  *  ''PersonProtocol.checkConformance(tom)'' => true or exception
  
 More usage examples of structural types can be found in the unit test defined in the file ''at/lang/structuraltypes.at''. More usage examples of structural types can be found in the unit test defined in the file ''at/lang/structuraltypes.at''.
  
 ==== Traits ==== ==== Traits ====
at/tutorial/appendix.txt · Last modified: 2021/09/24 10:28 by elisag