grammar
Class GrammarWithDescription

java.lang.Object
  |
  +--grammar.Grammar
        |
        +--grammar.GrammarWithDescription

All Implemented Interfaces:

java.lang.Cloneable

public final class GrammarWithDescription

extends Grammar

Grammatik mit Beschreibung.

Quelltext

Field Summary

protected java.lang.String

Description

Fields inherited from class grammar.Grammar

A, M, R, S

Constructor Summary

GrammarWithDescription(java.lang.String Description)
Erzeugt neue Grammatik mit einer Beschreibung.

Method Summary

java.lang.String

getDescription()

Methods inherited from class grammar.Grammar

A, addDiff, addDiff, addToR, addToR, addToR, addToR, canMake, clone, cloneTo, compact, delFromR, delFromR, delFromR, delFromR, delFromRwith, equals, M, make, makeNewMetaFrom, ok, R, S, setR, shortenM, toString, type

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

Description

protected java.lang.String Description

Constructor Detail

GrammarWithDescription

public GrammarWithDescription(java.lang.String Description)

Erzeugt neue Grammatik mit einer Beschreibung.

Parameters:

Description - Die Beschreibung.

Method Detail

getDescription

public final java.lang.String getDescription()