gr.uoa.di.madgik.environment.hint
Class EnvHintCollection

java.lang.Object
  gr.uoa.di.madgik.environment.hint.EnvHintCollection

public class EnvHintCollection
extends Object

Field Summary

Map<String,NamedEnvHint>

Hints

Constructor Summary

EnvHintCollection()

EnvHintCollection(EnvHintCollection NewHints)

EnvHintCollection(String Hints)

Method Summary

void	AddHint(NamedEnvHint Hint)
void	FromXML(Element xml)
void	FromXML(String xml)
NamedEnvHint	GetHint(String Name)
boolean	HintExists(String Name)
EnvHintCollection	Merge(EnvHintCollection NewHints)
String	ToXML()

Methods inherited from class java.lang.Object

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

Field Detail

Hints

public Map<String,NamedEnvHint> Hints

Constructor Detail

EnvHintCollection

public EnvHintCollection()

EnvHintCollection

public EnvHintCollection(EnvHintCollection NewHints)

EnvHintCollection

public EnvHintCollection(String Hints)
                  throws EnvironmentSerializationException

Throws:

EnvironmentSerializationException

Method Detail

HintExists

public boolean HintExists(String Name)

GetHint

public NamedEnvHint GetHint(String Name)

AddHint

public void AddHint(NamedEnvHint Hint)

Merge

public EnvHintCollection Merge(EnvHintCollection NewHints)

ToXML

public String ToXML()
             throws EnvironmentSerializationException

Throws:

EnvironmentSerializationException

FromXML

public void FromXML(String xml)
             throws EnvironmentSerializationException

Throws:

EnvironmentSerializationException

FromXML

public void FromXML(Element xml)
             throws EnvironmentSerializationException

Throws:

EnvironmentSerializationException