Function ruststep::parser::token::entity_instance_name[][src]

pub fn entity_instance_name(input: &str) -> ParseResult<'_, u64>
Expand description

entity_instance_name = # ( digit ) { digit } .

As discussed in ISO-10303-21 6.4.4.3 Entity instance names,

NOTE 2 Leading zeros in entity instance names are ignored so “#001” is the same identifier as “#1”.

leading zeros are ignored, and convert into u64 type.

Error

  • FIXME: If the input cannot be represented by u64, i.e. larger than std::u64::MAX