| Class XMLProver::Proof |
|
A whole Proof created by parsing a Proofsheets object
| Methods |
| Attributes |
| :absolute_dies | [R] | |
| :arbitrary_dies | [R] | |
| :collections | [R] | |
| :options | [R] | |
| :proofsheets | [R] |
| Public Class methods |
| new(proofsheets) |
Loads and parses proofsheet schema.
| Public Instance methods |
| die(namespace, xpath) |
Returns the absolute die given the namespace and xpath.
| Private Instance methods |
| parse_proofsheet() |
parses the proofsheets to create a parsed proofsheet
| content(element_or_attribute) |
Returns an element's first text node or an attribute's value.