US 12,450,045 B2
Modeling java source code in a symbolic description language
Paul D. Sandoz, Campbell, CA (US)
Assigned to Oracle International Corporation, Redwood Shores, CA (US)
Filed by Oracle International Corporation, Redwood Shores, CA (US)
Filed on Feb. 13, 2023, as Appl. No. 18/168,025.
Prior Publication US 2024/0272885 A1, Aug. 15, 2024
Int. Cl. G06F 8/51 (2018.01); G06F 8/35 (2018.01)
CPC G06F 8/51 (2013.01) [G06F 8/35 (2013.01)] 17 Claims
OG exemplary drawing
 
1. One or more non-transitory computer-readable media storing instructions that, when executed by one or more processors, cause performance of operations comprising:
obtaining a set of Java source code;
determining that the set of Java source code comprises a user-defined type;
determining that the set of Java source code comprises a loop;
generating, based on the set of Java source code, a symbolic description language (SDL) model comprising a first SDL representation of the user-defined type and a second SDL representation of the loop, wherein the SDL model represents the set of Java source code using a schema comprising:
an operation comprising a name, zero or more operands, an operation result, zero or more attributes, and a body;
the body comprising one or more blocks;
each block in the one or more blocks comprising one or more respective operations;
compiling, by one or more of a compiler or SDL generation code, based on the SDL model, a transformation of a Java program represented by the set of Java source code into bytecode; and
executing the bytecode corresponding to the transformation of the Java program.