@Override
public void marshal(ITypeMarshalBuffer buffer, boolean includeValue) throws CoreException {
buffer.putShort(ITypeMarshalBuffer.EXEC_SWITCH);
buffer.marshalEvaluation(controllerExprEval, includeValue);
buffer.marshalExecution(controllerDeclExec, includeValue);
buffer.putInt(bodyStmtExecutions.length);
for (ICPPExecution execution : bodyStmtExecutions) {
buffer.marshalExecution(execution, includeValue);
}
}
