nl.cwi.sen1.modulemanager.model
Class AttributeUpdateRule

java.lang.Object
  nl.cwi.sen1.modulemanager.model.AttributeUpdateRule

public class AttributeUpdateRule
extends java.lang.Object

Field Summary

private aterm.ATerm	formula
private aterm.ATerm	key
private aterm.ATerm	namespace
private aterm.ATerm	predicateValue

Constructor Summary

AttributeUpdateRule(aterm.ATerm namespace, aterm.ATerm key, aterm.ATerm formula, aterm.ATerm predicateValue)

Method Summary

boolean	equals(java.lang.Object o)
aterm.ATerm	getFormula()
aterm.ATerm	getKey()
aterm.ATerm	getNamespace()
aterm.ATerm	getPredicateValue()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

namespace

private aterm.ATerm namespace

key

private aterm.ATerm key

formula

private aterm.ATerm formula

predicateValue

private aterm.ATerm predicateValue

Constructor Detail

AttributeUpdateRule

public AttributeUpdateRule(aterm.ATerm namespace,
                           aterm.ATerm key,
                           aterm.ATerm formula,
                           aterm.ATerm predicateValue)

Method Detail

getKey

public aterm.ATerm getKey()

getNamespace

public aterm.ATerm getNamespace()

getPredicateValue

public aterm.ATerm getPredicateValue()

getFormula

public aterm.ATerm getFormula()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object