fmrisc.ProofNavigator.Communication

Class OMDoc

java.lang.Object

fmrisc.ProofNavigator.Communication.OMDoc

public final class OMDoc
extends java.lang.Object

Conversion of AST declarations from/to OMDoc declarations.

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
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.