| 摘要 |
#CMT# #/CMT# The method involves determining a type of an implicit parameter of an elementary expression e.g. multiplication type expression, and determining another type associated to a result of evaluation of the parameter. Coherence between the types is determined based on the elementary expression. Sub-expression is modified, when incoherence exists between the types, by inserting an intermediate sub-expression having a conversion function. #CMT# : #/CMT# Independent claims are also included for the following: (1) a method for evaluating an expression (2) a device for modifying an expression (3) a computer program comprising instructions to perform a method for modifying an expression (4) a computer program comprising instructions to perform a method for evaluating an expression (5) an information storage medium comprising computer program code instructions to perform a method for modifying an expression (6) an information storage medium comprising computer program code instructions to perform a method for evaluating an expression. #CMT#USE : #/CMT# Method for modifying an expression e.g. XML path type expression (claimed), evaluated on data structuring elements i.e. nodes, of a XML format document for evaluating the expression in an evaluation device (claimed) e.g. microcomputer connected to camera, scanner or photocopier, for processing markup language data flow. Can also be used for modifying a language path type expression. #CMT#ADVANTAGE : #/CMT# The method modifies the expression in order to rapidly evaluate the expression by single scanning of the structured document. #CMT#DESCRIPTION OF DRAWINGS : #/CMT# The drawing shows a flowchart illustrating an algorithm for verifying types of operands or parameters.'(Drawing includes non-English language text)'. |
