| |
---|
| | String updateStatement; |
---|
| | if (updateExp instanceof Term && ((Term) updateExp).getSymbol().isImplWithSideEffect()) { |
---|
| | updateStatement = sideEffects[0]; |
---|
| | } else { |
---|
| | updateStatement = sideEffects[0] + "this." + resourceName + " = " + newState + ";"; |
---|
| | updateStatement = sideEffects[0] + "this.value = " + newState + ";"; |
---|
| | } |
---|
| | if (input.getBody() == null || !input.getBody().getStatements().contains(updateStatement)) { |
---|
| | input.addFirstStatement(updateStatement); |
---|
| | } |
---|
| |
---|
| | |