grammars
Class PrgProduction

java.lang.Object
  |
  +--grammars.Production
        |
        +--grammars.PrgProduction

public class PrgProduction

extends Production

Reprezentace pravidla programovane gramatiky. Rozsiruje klasicke pravidlo popsane tridou Production o pole uspechu a neuspechu a oznaceni pravidla

Field Summary

protected PrgProduction[]	fail Pole neuspechu reprezentovane polem pravidel
protected java.lang.String[]	failLabels Oznaceni pravidel patricich do pole neuspechu tohoto pravidla
protected java.lang.String	label Oznaceni pravidla
protected PrgProduction[]	succes Pole uspechu reprezentovane polem pravidel
protected java.lang.String[]	succesLabels Oznaceni pravidel patricich do pole uspechu tohoto pravidla

Fields inherited from class grammars.Production

left, right

Constructor Summary

PrgProduction()
Pomocny konstruktor.

PrgProduction(SententialForm sf1, SententialForm sf2)
Konstruktor pravidla s levou a pravou stranou.

PrgProduction(java.lang.String l, SententialForm sf1, SententialForm sf2)
Konstruktor pravidla s oznacenim, levou a pravou stranou.

Method Summary

java.lang.String	failToString() Vytvori retezec z oznaceni pravidel patricich do pole neuspechu.
PrgProduction[]	getFail() Slouzi k ziskani pravidel patricich do pole neuspechu
java.lang.String[]	getFailLabels() Slouzi k ziskani oznaceni pravidel patricich do pole neuspechu
java.lang.String	getLabel() Slouzi k ziskani oznaceni pravidla
PrgProduction[]	getSucces() Slouzi k ziskani pravidel patricich do pole uspechu
java.lang.String[]	getSuccesLabels() Slouzi k ziskani oznaceni pravidel patricich do pole uspechu
boolean	hasLabel(java.lang.String l) Slouzi k zjisteni, jestli ma pravidlo pozadovane oznaceni
void	setFail(PrgProduction[] prods) Nastavi pole neuspechu
void	setFailLabels(java.lang.String[] labs) Zmeni oznaceni pravidel patricich do pole neuspechu
void	setSucces(PrgProduction[] prods) Nastavi pole uspechu
void	setSuccesLabels(java.lang.String[] labs) Zmeni oznaceni pravidel patricich do pole uspechu
java.lang.String	succesToString() Vytvori retezec z oznaceni pravidel patricich do pole uspechu.
java.lang.String	toListItem() Vytvori retezec reprezentujici pravidlo v seznamu pouzitelnych pravidel.
java.lang.String	toStepsString() Vytvori retezec reprezentujici pravidlo v seznamu kroku derivace.

Methods inherited from class grammars.Production

derivate, derivate, getLeft, getRight, getRight, setLeft, toString

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

succes

protected PrgProduction[] succes

Pole uspechu reprezentovane polem pravidel

fail

protected PrgProduction[] fail

Pole neuspechu reprezentovane polem pravidel

label

protected java.lang.String label

Oznaceni pravidla

succesLabels

protected java.lang.String[] succesLabels

Oznaceni pravidel patricich do pole uspechu tohoto pravidla

failLabels

protected java.lang.String[] failLabels

Oznaceni pravidel patricich do pole neuspechu tohoto pravidla

Constructor Detail

PrgProduction

public PrgProduction()

Pomocny konstruktor. Vytvori pravidlo bez vsech prvku.

PrgProduction

public PrgProduction(java.lang.String l,
                     SententialForm sf1,
                     SententialForm sf2)

Konstruktor pravidla s oznacenim, levou a pravou stranou. Pole uspechu i neuspechu jsou prazdna.

Parameters:

l - Oznaceni pravidla

sf1 - Leva strana pravidla

sf2 - Prava strana pravidla

PrgProduction

public PrgProduction(SententialForm sf1,
                     SententialForm sf2)

Konstruktor pravidla s levou a pravou stranou. Pole uspechu i neuspechu jsou prazdna.

Parameters:

sf1 - Leva strana pravidla

sf2 - Prava strana pravidla

Method Detail

setSucces

public void setSucces(PrgProduction[] prods)

Nastavi pole uspechu

Parameters:

prods - Pravidla noveho pole uspechu

setFail

public void setFail(PrgProduction[] prods)

Nastavi pole neuspechu

Parameters:

prods - Pravidla noveho pole neuspechu

getSucces

public PrgProduction[] getSucces()

Slouzi k ziskani pravidel patricich do pole uspechu

Returns:

Pole pravidel patricich do pole uspechu

getFail

public PrgProduction[] getFail()

Slouzi k ziskani pravidel patricich do pole neuspechu

Returns:

Pole pravidel patricich do pole neuspechu

getSuccesLabels

public java.lang.String[] getSuccesLabels()

Slouzi k ziskani oznaceni pravidel patricich do pole uspechu

Returns:

Pole oznaceni pravidel patricich do pole uspechu

getFailLabels

public java.lang.String[] getFailLabels()

Slouzi k ziskani oznaceni pravidel patricich do pole neuspechu

Returns:

Pole oznaceni pravidel patricich do pole neuspechu

getLabel

public java.lang.String getLabel()

Slouzi k ziskani oznaceni pravidla

Returns:

Oznaceni pravidla

setSuccesLabels

public void setSuccesLabels(java.lang.String[] labs)

Zmeni oznaceni pravidel patricich do pole uspechu

Parameters:

labs - Pole oznaceni pravidel patricich do pole uspechu

setFailLabels

public void setFailLabels(java.lang.String[] labs)

Zmeni oznaceni pravidel patricich do pole neuspechu

Parameters:

labs - Pole oznaceni pravidel patricich do pole neuspechu

hasLabel

public boolean hasLabel(java.lang.String l)

Slouzi k zjisteni, jestli ma pravidlo pozadovane oznaceni

Parameters:

l - Pozadovane oznaceni

Returns:

true, pokud je oznaceni pravidla shodne s parametrem l, jinak false

succesToString

public java.lang.String succesToString()

Vytvori retezec z oznaceni pravidel patricich do pole uspechu. Jednotliva oznaceni oddeli carkou a mezerou. Za posledni jiz carku neda.

Returns:

Retezec oznaceni pravidel z pole uspechu

failToString

public java.lang.String failToString()

Vytvori retezec z oznaceni pravidel patricich do pole neuspechu. Jednotliva oznaceni oddeli carkou a mezerou. Za posledni jiz carku neda.

Returns:

Retezec oznaceni pravidel z pole neuspechu

toListItem

public java.lang.String toListItem()

Vytvori retezec reprezentujici pravidlo v seznamu pouzitelnych pravidel. Tvar je

 [oznaceni] pravidlo {pole uspechu} {pole neuspechu} 
 kde tvar pravidla je dan funkci toListItem() tridy Production a pole 
 uspechu a neuspechu jsou carkami oddelena oznaceni pravidel

Overrides:
toListItem in class Production


Returns:
Retezec reprezentujici pravidlo

toStepsString

public java.lang.String toStepsString()

Vytvori retezec reprezentujici pravidlo v seznamu kroku derivace. Tvar je

 [oznaceni]: (pravidlo) 
 kde tvar pravidla je dan funkci toString() tridy Production

Overrides:
toStepsString in class Production


Returns:
Retezec reprezentujici pravidlo