Logo Search packages:      
Sourcecode: wims version File versions

int fr::ove::openmath::jome::model::FormulaResourcesManager::getAsOperatorPriority ( String  property  )  [inline]

Returns the as operator resource corresponding to the specified property.

Parameters:
property the specified property

Definition at line 86 of file FormulaResourcesManager.java.

References fr::ove::utils::CachingResourcesManager::accessResource().

Referenced by fr::ove::openmath::jome::model::Addition::Addition(), fr::ove::openmath::jome::model::Bracket::Bracket(), fr::ove::openmath::jome::model::Constant::Constant(), fr::ove::openmath::jome::model::Formula::consumeLinearParserEvent(), fr::ove::openmath::jome::model::E::E(), fr::ove::openmath::jome::model::Formula::Formula(), fr::ove::openmath::jome::model::I::I(), fr::ove::openmath::jome::model::Icon::Icon(), fr::ove::openmath::jome::model::VariableOrNumber::insert(), fr::ove::openmath::jome::model::UnaryOperator::insert(), fr::ove::openmath::jome::model::Substraction::insert(), fr::ove::openmath::jome::model::NaryOperator2::insert(), fr::ove::openmath::jome::model::Constant::insert(), fr::ove::openmath::jome::model::Bracket::insert(), fr::ove::openmath::jome::model::BinaryOperator::insert(), fr::ove::openmath::jome::model::Addition::insert(), fr::ove::openmath::jome::model::Multiplication::Multiplication(), fr::ove::openmath::jome::model::Slot::Slot(), fr::ove::openmath::jome::model::Superscript::Superscript(), fr::ove::openmath::jome::model::UnaryMinus::UnaryMinus(), and fr::ove::openmath::jome::model::UnaryPlus::UnaryPlus().

                                                      {
        String priority = accessResource(property, 0);
        int value = 0;
        
        try {
            value = Integer.valueOf(priority).intValue();
        }
        catch (NumberFormatException fne) {
            System.out.println("Wrong specification of as operator priority : " + priority);
        }
        
        return value;
    }


Generated by  Doxygen 1.6.0   Back to index