Java Modeling Language (JML) / Things to Do / #87 Create abstract syntax for level 0 type-spec \TYPE

#87 Create abstract syntax for level 0 type-spec \TYPE

Status: open

Owner: nobody

Labels: JAJML (35)

Module:

Priority: 5

Updated: 2012-11-27

Created: 2009-06-05

Private: No

From the JML Ref Manual: The type-spec \TYPE (optionally, as a type of
array element). See section 7.1.2.2 Type-Specs, for more details.