property.syn 1.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142
  1. \begin{diagram}{Properties}{properties}
  2. \begin{mysyntdiag}
  3. \synt{property\ definition}
  4. \lit*{property} \synt{identifier} \[ \synt{property\ interface} \]
  5. \synt{property\ specifiers}
  6. \end{mysyntdiag}
  7. \begin{mysyntdiag}
  8. \synt{property\ interface}
  9. \[ \synt{property\ parameter\ list}\] \lit*: \synt{type\ identifier}
  10. \end{mysyntdiag}
  11. \begin{mysyntdiag}
  12. \synt{property\ parameter\ list} \lit*[
  13. \<[b] \synt{parameter\ declaration} \\ \lit; \>
  14. \lit*]
  15. \end{mysyntdiag}
  16. \begin{mysyntdiag}
  17. \synt{property\ specifiers}
  18. \[ \synt{read\ specifier} \]
  19. \[ \synt{write\ specifier} \]
  20. \[ \synt{default\ specifier} \]
  21. \end{mysyntdiag}
  22. \begin{mysyntdiag}
  23. \synt{read\ specifier} \lit*{read} \synt{field\ or\ method}
  24. \end{mysyntdiag}
  25. \begin{mysyntdiag}
  26. \synt{write\ specifier} \lit*{write} \synt{field\ or\ method}
  27. \end{mysyntdiag}
  28. \begin{mysyntdiag}
  29. \synt{default\ specifier}
  30. \(
  31. \lit*{default} \[ \synt{constant} \] \\
  32. \lit*{nodefault}
  33. \)
  34. \end{mysyntdiag}
  35. \begin{mysyntdiag}
  36. \synt{field\ or\ method}
  37. \(
  38. \synt{field\ identifier} \\
  39. \synt{method\ identifier}
  40. \)
  41. \end{mysyntdiag}
  42. \end{diagram}