# Class: com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.simulator.CMethodState
- Super class: `java.lang.Object`

State of a simulated method.  
  
- the concrete value associated to each [ICIdentifier](com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.ICIdentifier.md)  
- the concrete return value, if the execution terminated  
- a [ControlWord](com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.simulator.CMethodState.ControlWord.md) value to select the next instruction to execute  

  The state also provides an equivalence relationship  [#areEquivalent(CMethodState, CMethodState, boolean, boolean)](#areEquivalent(CMethodState, CMethodState, boolean, boolean)), to test if another state  might represent the same computation.

## Constructor: CMethodState
- parameter: `statements`, type: `java.util.List<com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.ICStatement>`


## Method: getControlWord
- return type: `com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.simulator.CMethodState.ControlWord`


## Method: getControlWordIndex
- return type: `int`


## Method: getIdentifier
- parameter: `element`, type: `com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.ICElement`
- return type: `com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.ICIdentifier`


## Method: getLocalVarValue
- parameter: `element`, type: `com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.ICElement`
- return type: `java.lang.Long`


## Method: getLocalVarValues
- return type: `java.util.Map<com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.ICIdentifier,java.lang.Long>`


## Method: getReturnValue
- return type: `java.lang.Long`


## Method: getStatements
- return type: `java.util.List<com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.ICStatement>`


## Method: isMethodParametersSpoiled
- return type: `boolean`

Description: If true, parameters of methods called are considered spoiled; the corresponding variables'  values will be modified by the simulation. If false, they are left intact.

## Method: setControlWord
- parameter: `controlWord`, type: `com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.simulator.CMethodState.ControlWord`


## Method: setControlWordIndex
- parameter: `controlWordIndex`, type: `int`


## Method: setLocalVarValue
- parameter: `id`, type: `com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.ICIdentifier`
- parameter: `value`, type: `java.lang.Long`


## Method: setMethodParametersSpoiled
- parameter: `methodParametersSpoiled`, type: `boolean`


## Method: setReturnValue
- parameter: `returnValue`, type: `java.lang.Long`


## Method: setValue
- parameter: `element`, type: `com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.ICElement`
- parameter: `value`, type: `java.lang.Long`
- parameter: `environment`, type: `com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.simulator.CEnvironment`

Description: Sets a variable \-\-either local or global\-\- value.

## Method: toString
- return type: `java.lang.String`


## Static Method: areEquivalent
- parameter: `state1`, type: `com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.simulator.CMethodState`
- parameter: `state2`, type: `com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.simulator.CMethodState`
- parameter: `checkProducedValues`, type: `boolean`
- parameter: `checkControlWords`, type: `boolean`
- return type: `boolean`

Description: Checks if two states might represent the same computation, namely:  
  
- if the return values are the same  
- conditionally, if the same values got produced in both states  
- conditionally, if the final control words are the same