inpro.irmrsc.util
Class SemanticMacro

java.lang.Object
  inpro.irmrsc.util.SemanticMacro

public class SemanticMacro
extends java.lang.Object

A semantic macro is a RMRS Formula identified by a short name or a long name.

Author:

Andreas Peldszus

Field Summary

private Formula	formula
private java.lang.String	longName
private java.lang.String	shortName

Constructor Summary

SemanticMacro(java.lang.String s, java.lang.String l, Formula f)

Method Summary

Formula	getFormula()
java.lang.String	getLongName()
java.lang.String	getShortName()
void	setFormula(Formula formula)

Methods inherited from class java.lang.Object

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

Field Detail

shortName

private java.lang.String shortName

longName

private java.lang.String longName

formula

private Formula formula

Constructor Detail

SemanticMacro

public SemanticMacro(java.lang.String s,
                     java.lang.String l,
                     Formula f)

Method Detail

getShortName

public java.lang.String getShortName()

getLongName

public java.lang.String getLongName()

getFormula

public Formula getFormula()

setFormula

public void setFormula(Formula formula)