fmrisc.Communication
Class OMDoc

java.lang.Object
  fmrisc.Communication.OMDoc

public final class OMDoc
extends java.lang.Object

Constructor Summary

OMDoc(org.w3c.dom.Document document)
Create OMDoc converter for denoted document.

Method Summary

static Declaration	toDeclaration(org.w3c.dom.Node node) Convert OMDoc representation to declaration.
org.w3c.dom.Element	toNode(Declaration decl) Convert declaration to OMDoc representation in DOM format.

Methods inherited from class java.lang.Object

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

Constructor Detail

OMDoc

public OMDoc(org.w3c.dom.Document document)

Create OMDoc converter for denoted document.

Parameters:

document - document in which to create new nodes.

Method Detail

toNode

public org.w3c.dom.Element toNode(Declaration decl)

Convert declaration to OMDoc representation in DOM format.

Parameters:

decl - a declaration

Returns:

DOM object holding the OMDoc representation.

toDeclaration

public static Declaration toDeclaration(org.w3c.dom.Node node)

Convert OMDoc representation to declaration.

Parameters:

node - DOM object holding the OMDoc representation of a declaration.

Returns:

the corresponding declaration (null in case of error) where the body of the declaration is already type-checked.