1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199

use crate::Argument;
use crate::Parameters;
use crate::Type;
use std::convert::From;

pub const QNAME: &'static str = "mathml/Markup";

pub fn new(mut args: Vec<Argument>) -> Result<Type, Type> {
    if args.len() == 1 {
        if let Argument::String(s) = args.remove(0) {
            return Ok(Type::MathMLMarkup(Markup::from(s)));
        }
    }

    Err(Type::ErrorMessage(format!(
        "{} expects 1 'String' argument. Got: {:?}.",
        QNAME, args
    )))
}

// MathML Namespace
const NAMESPACE_URI: &'static str = "http://www.w3.org/1998/Math/MathML";

// MathML Element Tags
const AND: &'static str = "and";
const ANNOTATION_XML: &'static str = "annotation-xml";
const APPLY: &'static str = "apply";
const MATH: &'static str = "math";
const MERROR: &'static str = "merror";
const MI: &'static str = "mi";
const MO: &'static str = "mo";
const MROW: &'static str = "mrow";
const MTEXT: &'static str = "mtext";
const NOT: &'static str = "not";
const SEMANTICS: &'static str = "semantics";
const TRUE: &'static str = "true";
const FALSE: &'static str = "false";

// MathML Attribute Namespace
const ENCODING: &'static str = "encoding";

// MathML Attribute Values
const MATHML_CONTENT: &'static str = "MathML-Content";

#[derive(Clone, Debug)]
pub struct Markup {
    xml: crate::xml::markup::Markup,
}
impl Markup {
    pub fn new() -> Markup {
        Markup {
            xml: crate::xml::markup::Markup::new(),
        }
    }

    pub fn xml_markup(&self) -> &crate::xml::markup::Markup {
        &self.xml
    }

    pub fn parameters(&self) -> Parameters {
        self.xml.parameters()
    }

    pub fn append_default_namespace(&mut self) {
        self.xml.append_default_namespace(NAMESPACE_URI)
    }

    pub fn append_and_start(&mut self) {
        self.xml.append_empty_tag_start(AND);
    }

    pub fn append_annotation_xml_start(&mut self) {
        self.xml.append_stag_start(ANNOTATION_XML);
    }

    pub fn append_annotation_xml_encoding_mathml_content_start(&mut self) {
        self.xml.append_stag_start(ANNOTATION_XML);
        self.xml.append_attribute(ENCODING, MATHML_CONTENT);
    }

    pub fn append_annotation_xml_stop(&mut self) {
        self.xml.append_etag(ANNOTATION_XML);
    }

    pub fn append_apply_start(&mut self) {
        self.xml.append_stag_start(APPLY);
    }

    pub fn append_apply_stop(&mut self) {
        self.xml.append_etag(APPLY);
    }

    pub fn append_empty_tag_stop(&mut self) {
        self.xml.append_empty_tag_stop();
    }

    pub fn append_math_start(&mut self) {
        self.xml.append_stag_start(MATH);
    }

    pub fn append_math_stop(&mut self) {
        self.xml.append_etag(MATH);
    }

    pub fn append_merror_start(&mut self) {
        self.xml.append_stag_start(MERROR);
    }

    pub fn append_merror_stop(&mut self) {
        self.xml.append_etag(MERROR);
    }

    pub fn append_mi_start(&mut self) {
        self.xml.append_stag_start(MI);
    }

    pub fn append_mi_stop(&mut self) {
        self.xml.append_etag(MI);
    }

    pub fn append_mo_start(&mut self) {
        self.xml.append_stag_start(MO);
    }

    pub fn append_mrow_stop(&mut self) {
        self.xml.append_etag(MROW);
    }

    pub fn append_mrow_start(&mut self) {
        self.xml.append_stag_start(MROW);
    }

    pub fn append_mo_stop(&mut self) {
        self.xml.append_etag(MO);
    }

    pub fn append_mtext_start(&mut self) {
        self.xml.append_stag_start(MTEXT);
    }

    pub fn append_mtext_stop(&mut self) {
        self.xml.append_etag(MTEXT);
    }

    pub fn append_false_start(&mut self) {
        self.xml.append_empty_tag_start(FALSE);
    }

    pub fn append_not_start(&mut self) {
        self.xml.append_empty_tag_start(NOT);
    }

    pub fn append_semantics_start(&mut self) {
        self.xml.append_stag_start(SEMANTICS);
    }

    pub fn append_semantics_stop(&mut self) {
        self.xml.append_etag(SEMANTICS);
    }

    pub fn append_stag_stop(&mut self) {
        self.xml.append_stag_stop();
    }

    pub fn append_true_start(&mut self) {
        self.xml.append_empty_tag_start(TRUE);
    }

    pub fn append_text(&mut self, text: &str) {
        self.xml.append_text(text);
    }

    pub fn append_mathml_markup(&mut self, markup: &Markup) {
        self.xml.append_xml_markup(markup.xml_markup());
    }

    pub fn append_boolean_zero(&mut self) {
        self.xml.append_text("𝟢");
    }

    pub fn append_boolean_one(&mut self) {
        self.xml.append_text("𝟣");
    }

    pub fn append_boolean_and(&mut self) {
        self.xml.append_text("∧");
    }

    pub fn append_boolean_not(&mut self) {
        self.xml.append_text("¬");
    }
}
impl From<String> for Markup {
    fn from(s: String) -> Self {
        Markup {
            xml: crate::xml::markup::Markup::from(s),
        }
    }
}