JmlFourArchSpec

JML4 Architecture Specification

---

-- JML4 is


-- Informal Charts

system_chart JML4_SYSTEM
indexing
  author: "Perry James";
  coordinator: "Patrice Chalin";
  arch_specs: "Perry James", "Joseph Kiniry";
  keywords: "JML", "EclipseJdt", "JDT", "scanner", "lexer", "parser", "typechecker";
explanation
  "A system for processing JML specifications that is built atop the EclipseJdt."
cluster JML_JDT_COMPILER
description
  "."
cluster JML4_LOOKUP
description
  "."
-- we also depend upon several clusters in the ECLIPSE_JDT_SYSTEM, namely
-- the JDT_COMPILER and JDT_LOOKUP clusters.
end

cluster_chart JML_JDT_COMPILER
indexing
explanation
  "."
cluster PROBLEM_REPORTER
description
  ""
cluster SCANNER
  ""
cluster GRAMMAR
  ""
cluster PARSER
  ""
cluster AST
  ""
cluster COMPILER
  ""
end

cluster_chart JML4_LOOKUP
indexing
explanation
  "Look up JML specs for a given type."
class FIND_SPEC
  "."
class PARSE_SPEC
  "."
class MERGE_SPEC
  "."
end

class FIND_SPEC
indexing
explanation
  "Find the specs for a given type in the spec path."
query
  "What is the spec for this type?",
  "What is the source for this type?"
command
  "Here is your spec path!",
  "The extensions we are interested in is as follows."
constraint
  "The default spec path is a directory.",
  "The spec path cannot be empty.",
  "The filename extensions must include at least '.jml'."
end

---

See also the BON method website for more information on the syntax and semantics of the BON specification language.

Version: 2 Time: Sun Sep 2 12:17:14 2007 Author: kiniry (kiniry) IP: 83.147.138.175