Patent Document ID: 8375376
Application ID: 12413138

Base Claim:
1. A description processing device for deleting a label statement from a behavior level description described by a column of, at least, an operation/assignment statement executing an operation and/or assignment, a conditional executable statement enclosing and specifying a statement to be executed when a condition is satisfied, a label statement declaring a label, and a jump statement causing a jump to the label, the description processing device comprising: a receiving unit receiving input of the behavior level description serving as a processing target; a label-name generating unit generating a new label name; a label disposing unit disposing a label statement using the generated new label name (hereinafter, referred to as the “top label statement”) at a top of the received behavior level description; an extracting unit extracting one label statement (hereinafter, referred to as the “extracted label statement”) not enclosed by the conditional executable statement among the statements of the received behavior level description; a variable-name generating unit generating a new variable name associated with the extracted label statement; a replacing unit replacing a statement immediately below the top label statement to the extracted label statement by a column of a conditional executable statement executing the statement immediately below the top label statement to immediately above the extracted label statement when a value of the variable of the generated variable name is a first value and an operation/assignment statement assigning the first value to the variable of the generated variable name in the input and received behavior level description, and replacing the jump statement causing a jump to the label of the extracted label statement by a column of an operation/assignment statement assigning a second value to the variable of the generated variable name and a jump statement causing a jump to the top label; a control unit repeating the extraction by the extracting unit, the generation of a new variable name by the variable-name generating unit, and the replacement by the replacing unit until a predetermined end condition is satisfied; an inserting unit inserting an operation/assignment statement initializing the each variable of generated variable name to the first value into a part immediately above the label statement using the top label name in a result obtained by last replacement in the repetition; and an output unit outputting the behavior level description which is a result of the insertion.

---

Claim 4:
4. The description processing device according to claim 1 , wherein the predetermined end condition is satisfied when no more label statement can be extracted by the extracting unit.