[Grace-core] Exceptions wiki page, Capitalization

Andrew P. Black black at cs.pdx.edu
Sun Jul 20 09:26:32 PDT 2014


Tim,

Thanks for editing the Exceptions Hierarchy wiki page. (https://projects.cecs.pdx.edu:8443/~black/NewOOL/index.cgi/wiki/ExceptionHierarchy).
I made a few more edits, to add more information.   

There is one section that I don’t understand.  Please take a look at it and see if you can clarify it (or delete it?)

Matching Exceptions

Each exception is matched by its ExceptionKind and all of the ancestors of that ExceptionKind (that is, by its parent, its parent's parent, and so on). Because Exception is the top of the exception hierarchy, it matches all exceptions. <<<apb: This bit I don't grok. I don't think that it's legal grace.>>> ... and so is equivalent to the type of exceptions with an extended interface. That is:

def Exception = object {
  inherits type { exception -> ExceptionKind; ... }

  method parent { ... }
  ...
}
<<<end of don't grok.>>>


The page still says nothing about capitalization of the names — in fact, it’s inconsistent.   We agreed that Types should be Capitalized, and other objects should be lower case.   You were arguing that Patters should also be Capitalized.  What  — although presumably not Patterns that are single objects that match only themselves.

This is really a separate discussion.   What is the argument for capitalizing Patterns?

	Andrew

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailhost.cecs.pdx.edu/pipermail/grace-core/attachments/20140720/06685800/attachment.html>


More information about the Grace-core mailing list