public static ISerializableExecution unmarshal(short firstBytes, ITypeMarshalBuffer buffer)
throws CoreException {
ICPPEvaluation controllerExprEval = (ICPPEvaluation) buffer.unmarshalEvaluation();
ExecSimpleDeclaration controllerDeclExec = (ExecSimpleDeclaration) buffer.unmarshalExecution();
int len = buffer.getInt();
ICPPExecution[] bodyStmtExecutions = new ICPPExecution[len];
for (int i = 0; i < bodyStmtExecutions.length; i++) {
bodyStmtExecutions[i] = (ICPPExecution) buffer.unmarshalExecution();
}
return new ExecSwitch(controllerExprEval, controllerDeclExec, bodyStmtExecutions);
}
