Struct DOMExtractor

pub struct DOMExtractor {
    in_notation: bool,
    in_term: bool,
    pub(crate) styles: DocumentStyles,
    id_counter: IdCounter,
}

Fields

in_notation: bool

in_term: bool

styles: DocumentStyles

id_counter: IdCounter

Trait Implementations

impl Default for DOMExtractor

fn default() -> DOMExtractor

Returns the “default value” for a type.

impl FTMLExtractor for DOMExtractor

const RDF: bool = false

type Attr<'a> = NodeAttrs<'a>

fn add_error(&mut self, err: FTMLError)

fn styles(&mut self) -> &mut DocumentStyles

fn new_id(&mut self, prefix: Cow<'static, str>) -> Box<str>

fn in_term(&self) -> bool

fn set_in_term(&mut self, value: bool)

fn in_notation(&self) -> bool

fn add_triples<const N: usize>(&mut self, _triples: [Triple; N])

fn get_content_iri(&self) -> Option<NamedNode>

fn get_document_iri(&self) -> NamedNode

fn add_objective(&mut self, _uri: SymbolURI, _dim: CognitiveDimension)

fn add_precondition(&mut self, _uri: SymbolURI, _dim: CognitiveDimension)

fn resolve_variable_name(&self, _name: Name) -> Var

fn add_arg( &mut self, _pos: (u8, Option<u8>), _tm: Term, _mode: ArgMode, ) -> Result<(), ()>

Errors

fn add_content_element( &mut self, _elem: OpenDeclaration<Unchecked>, ) -> Result<(), OpenDeclaration<Unchecked>>

Errors

fn add_document_element(&mut self, _elem: DocumentElement<Unchecked>)

fn add_module(&mut self, _module: OpenModule<Unchecked>)

fn add_notation(&mut self, _spec: NotationSpec) -> Result<(), NotationSpec>

Errors

fn add_op_notation(&mut self, _op: OpNotation) -> Result<(), OpNotation>

Errors

fn add_resource<T: Resourcable>(&mut self, _t: &T) -> LazyDocRef<T>

fn add_term( &mut self, _symbol: Option<SymbolURI>, _tm: Term, ) -> Result<(), Term>

Errors

fn add_title(&mut self, _title: DocumentRange) -> Result<(), DocumentRange>

Errors

fn add_type(&mut self, _tm: Term) -> Result<(), Term>

Errors

fn close_args(&mut self) -> (Vec<Arg>, Option<Term>)

fn close_complex_term(&mut self) -> Option<Term>

fn close_content( &mut self, ) -> Option<(ModuleURI, Vec<OpenDeclaration<Unchecked>>)>

fn close_decl(&mut self) -> Option<(Option<Term>, Option<Term>)>

fn close_problem(&mut self) -> Option<ProblemState>

fn close_narrative( &mut self, ) -> Option<(NarrativeURI, Vec<DocumentElement<Unchecked>>)>

fn close_notation(&mut self) -> Option<NotationState>

fn close_paragraph(&mut self) -> Option<ParagraphState>

fn close_section( &mut self, ) -> Option<(DocumentElementURI, Option<DocumentRange>, Vec<DocumentElement<Unchecked>>)>

fn get_content_uri(&self) -> Option<&ModuleURI>

fn get_narrative_uri(&self) -> NarrativeURI

fn with_problem<R>( &mut self, _then: impl FnOnce(&mut ProblemState) -> R, ) -> Option<R>

fn close_gnote(&mut self) -> Option<GnoteState>

fn close_choice_block(&mut self) -> Option<ChoiceBlockState>

fn close_fillinsol(&mut self) -> Option<FillinsolState>

fn close_slide(&mut self) -> Option<Vec<DocumentElement<Unchecked>>>

fn add_definiendum(&mut self, _uri: SymbolURI)

fn push_fillinsol_case(&mut self, _case: FillInSolOption)

fn open_fillinsol(&mut self, _width: Option<f32>)

fn push_answer_class(&mut self, _id: Box<str>, _kind: AnswerKind)

fn push_problem_choice(&mut self, _correct: bool)

fn open_gnote(&mut self)

fn open_choice_block(&mut self, _multiple: bool, _styles: Box<[Box<str>]>)

fn open_args(&mut self)

fn open_complex_term(&mut self)

fn open_content(&mut self, _uri: ModuleURI)

fn open_decl(&mut self)

fn open_problem(&mut self, _uri: DocumentElementURI)

fn open_narrative(&mut self, _uri: Option<NarrativeURI>)

fn open_notation(&mut self)

fn open_slide(&mut self)

fn open_paragraph(&mut self, _uri: DocumentElementURI, _fors: VecSet<SymbolURI>)

fn open_section(&mut self, _uri: DocumentElementURI)

fn set_document_title(&mut self, _title: Box<str>)