(take-external-id) ( token -- external-id )

Vocabulary

xml.name

Inputs

token

an object

Outputs

external-id

an object

Definition

USING: combinators xml.errors xml.tokenize ;

IN: xml.name

: (take-external-id) ( token -- external-id )
    pass-blank {
        { "SYSTEM" [ take-system-id ] }
        { "PUBLIC" [ take-public-id ] }
        [ bad-external-id ]
    } case ;