demangles a term . concode_field_sep ArrayList<Primitive> demangling concode_elem_sep String pre concode_elem_sep String post concode_elem_sep CalculatorRewriting calc concode_elem_sep int symId concode_elem_sep HashMap<Primitive,Term> mangling concode_field_sep void setFormat concode_elem_sep Term mangle
Primitive function ( Term arg0 ) { final String loc0 = arg0 . getValue ( ) ; final String loc1 = loc0 . substring ( this . pre . length ( ) , loc0 . length ( ) - this . post . length ( ) ) ; final int loc2 ; try { loc2 = Integer . parseInt ( loc1 ) ; } catch ( NumberFormatException loc3 ) { return null ; } return this . demangling . get ( loc2 ) ; }