| |
Dezember 2002 Abschließende Angenommene Spezifikation HUTN: Modell-Spezifische Stenographien 4-5 4 Darstellung, wenn sie falsch ist. Weiter zu diesem, seit dem Vorhandensein der Darstellung bezeichnet bereits, daß der Wert des Attributes s zutreffend ist, es würde sein weites leistungsfähigeres zu einfach die Anzeige der Name des Attributes. Wir nennen den Gebrauch von solch einem Namen allein innen der Körper eines Kategorie-Falls ein Schlüsselwort . Jedoch wird der Gebrauch von Schlüsselwörtern auf Attribute eingeschränkt, die vorgeschrieben sind und nicht enthalten Sie mehr als einen Wert. Es gibt nur zwei Zustände, die für ein Schlüsselwort vorhanden sind Darstellung: Geschenk oder abwesendes. Durch Kontrast hat ein wahlweise freigestelltes Boolesches drei plausibel Zustände: zutreffend, falsch und nicht definiert. Attribute mit mehr als einem Wert haben offensichtlich sogar mehr als dieses und als solches weder wahlweise freigestelltes noch mehrfach definiertes Boolesches Attribute können zu den Schlüsselwörtern verkürzt werden. In Ermangelung eines Default-Wertes für ein vorgeschriebenes einzeln-bewertetes Boolesches Attribut, ist er angenommen, um falsch und sein Name erscheint zu sein in der Kategorienfallüberschrift, nur wenn dieses ist nicht der Fall (der Wert ist zutreffend). Dieses ist auch der Fall, wenn ein Default-Wert von falschem ist ausdrücklich zusammengebaut für dieses Attribut. (sehen Sie Abschnitt 4,3. 5). Wenn jedoch das Attribut ist zusammengebaut mit einem Default-Wert von zutreffendem, dann wird das tildesymbol~ vor benutzt schreiben Sie Namensschlüsselwort zu, um zu bezeichnen, daß sein Wert falsch ist, und das Fehlen dem Attribut Name zeigt einen Wert von zutreffendem an. Programmiersprachen wie C++, Java und Pascal stellen verschiedene Stücke von dar von Informationen anders als einen Bezeichner in der Definition Methoden oder Verfahren. Diese kann die Sicht der mit einschließen Methode oder die Rückholart der Methode. Variablen angezeigt auf diese Art werden Adjektive benannt da sie die Informationen ungefähr liefern Gegenstand, bevor es erklärt wird, ganz wie ein Adjektiv, das ein Gegenstandswort auf Englisch beschreibt Grammatik. Adjektive in HUTN sind Schlüsselwörtern ähnlich, aber befinden sich anders als in Darstellung des Kategorienfalls. Wo eine Darstellung des Schlüsselwortes s innen ausgedrückt wird der Körper, ein Adjektiv s wird direkt vor dem Namen der Kategorie in gelegt Einleitung der Erklärung. Es gibt zwei Arten Adjektive: Boolesch-bewertet Attribute und Aufzählung-bewertete Attribute. Wie Schlüsselwörter werden Boolesch-bewertete Adjektive auf einzeln-bewertetes vorgeschriebenes eingeschränkt Boolesche Attribute und der Name des Attributes (möglicherweise vorangegangen von einem tildesymbol) wird als das Adjektiv verwendet. Aufzählung-bewertete Adjektive verwenden jedoch die Aufzählung Aufkleber als das Adjektiv. Während sie Boolesch-bewertet werden, sind Adjektive durch Rückstellung vorhanden, Aufzählung-bewertete Adjektive müssen zusammengebaut werden. Die metaclass für die Konfiguration Aufzählung-bewertete Adjektive ist EnumAdjectiveConfig (sehen Sie Abschnitt 5,1. 7). Wie das kennzeichnende Attribut einer Kategorie, ein Attribut, das als Adjektiv dargestellt wird, innerhalb der Einleitung eines Kategorienfalls, brauchen Sie, nicht innerhalb des Körpers von wieder gezeigt zu werden der Kategorienfall. Wenn man oder mehr zuschreibt, werden als Adjektive auf einer Kategorie, die Natur von definiert grammatische Definition kann angefordert werden, um zu ändern. Wenn keine Adjektive in einer Sprache anwesend sind, a grammatische Definition kann verwenden schauen-voran von nur einem Symbol, da das folgende auftretende Symbol wird stellen Sie einzigartig die gegenwärtige Lage der grammatischen Definition fest. Jedoch die Einleitung von Adjektive ändert dieses. Z.B. wenn zwei Kategorien Attribute vomselben gegeben werden Name oder, wenn ein Adjektiv von einer Elternteilkategorie der Kategorie s übernommen wird, dann das Vorhandensein von Adjektiv im Symbolstrom ist nicht genügend, festzustellen, welche Kategorie |  |
|
| |
|
|