ContRap
The symbolic tool for control-flow based rapid prototyping.

Function getInt from xml
Brief description

getInt(pool:XMLDataPool,key:String):int

Returns a int value associated with the given address More ...

Function information
Name: getInt
Base: XMLDataPool
Group: XML plugins:XML data pool
Icon: system.png
Color: black
Authors:
Copyright:

Detailed description

Returns a int value associated with the given address. See the operator[] documentation for more details on keys.

Input parameters
pool: XMLDataPool
Instance of an XML pool.
key: String
Key address of the content.

Return values
Default return value: int
Integer value.