Skip to content

Support for TextBlockLiterals #3796

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
wadoon merged 1 commit into from
Apr 7, 2026
Merged

Support for TextBlockLiterals #3796

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
0 .../01_EnumClassBuilder/MostSimpleInner.java → ...TextblockTransformer/MostSimpleInner.java
View file
Open in desktop
File renamed without changes.
0 ...ed/02_JMLTransformer/MostSimpleInner.java → .../02_EnumClassBuilder/MostSimpleInner.java
View file
Open in desktop
File renamed without changes.
0 ...ted/03_JmlDocRemoval/MostSimpleInner.java → ...ed/03_JMLTransformer/MostSimpleInner.java
View file
Open in desktop
File renamed without changes.
5 changes: 5 additions & 0 deletions key.core/pipelineTests/innerclass/expected/04_JmlDocRemoval/MostSimpleInner.java
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
public class MostSimpleInner {

public static class MyInnerClass {
}
}
0 ...4_ImplicitFieldAdder/MostSimpleInner.java → ...5_ImplicitFieldAdder/MostSimpleInner.java
View file
Open in desktop
File renamed without changes.
0 ...ocationMethodBuilder/MostSimpleInner.java → ...ocationMethodBuilder/MostSimpleInner.java
View file
Open in desktop
File renamed without changes.
0 ...torNormalformBuilder/MostSimpleInner.java → ...torNormalformBuilder/MostSimpleInner.java
View file
Open in desktop
File renamed without changes.
0 ...arationMethodBuilder/MostSimpleInner.java → ...arationMethodBuilder/MostSimpleInner.java
View file
Open in desktop
File renamed without changes.
0 ...tializeMethodBuilder/MostSimpleInner.java → ...tializeMethodBuilder/MostSimpleInner.java
View file
Open in desktop
File renamed without changes.
0 ...PrepareObjectBuilder/MostSimpleInner.java → ...PrepareObjectBuilder/MostSimpleInner.java
View file
Open in desktop
File renamed without changes.
0 ...ted/10_CreateBuilder/MostSimpleInner.java → ...ted/11_CreateBuilder/MostSimpleInner.java
View file
Open in desktop
File renamed without changes.
0 ..._CreateObjectBuilder/MostSimpleInner.java → ..._CreateObjectBuilder/MostSimpleInner.java
View file
Open in desktop
File renamed without changes.
0 ...lClassTransformation/MostSimpleInner.java → ...lClassTransformation/MostSimpleInner.java
View file
Open in desktop
File renamed without changes.
189 changes: 189 additions & 0 deletions ...pelineTests/innerclass/expected/14_ConstantStringExpressionEvaluator/MostSimpleInner.java
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,189 @@
public class MostSimpleInner {

public static class MyInnerClass {

@javax.annotation.processing.Generated()
static private boolean $classInitializationInProgress;

@javax.annotation.processing.Generated()
static private boolean $classErroneous;

@javax.annotation.processing.Generated()
static private boolean $classInitialized;

@javax.annotation.processing.Generated()
static private boolean $classPrepared;

@javax.annotation.processing.Generated()
static public model boolean $staticInv;

@javax.annotation.processing.Generated()
static public model boolean $staticInv_free;

public static MyInnerClass $allocate();

public MyInnerClass() {
}

public void $init() {
super.$init();
super.$init();
}

static private void $clprepare() {
}

static public void $clinit() {
if (!@($classInitialized)) {
if (!@($classInitializationInProgress)) {
if (!@($classPrepared)) {
//Created by ClassInitializeMethodBuilder.java:219
@($clprepare());
}
if (@($classErroneous)) {
throw new java.lang.NoClassDefFoundError();
}
//Created by ClassInitializeMethodBuilder.java:243
@($classInitializationInProgress) = true;
try {
@(java.lang.Object.$clinit());
}//Created by ClassInitializeMethodBuilder.java:194
catch (java.lang.Error err) {
//Created by ClassInitializeMethodBuilder.java:154
@($classInitializationInProgress) = false;
//Created by ClassInitializeMethodBuilder.java:155
@($classErroneous) = true;
throw err;
} catch (java.lang.Throwable twa) {
//Created by ClassInitializeMethodBuilder.java:154
@($classInitializationInProgress) = false;
//Created by ClassInitializeMethodBuilder.java:155
@($classErroneous) = true;
throw new java.lang.ExceptionInInitializerError(twa);
}
//Created by ClassInitializeMethodBuilder.java:249
@($classInitializationInProgress) = false;
//Created by ClassInitializeMethodBuilder.java:251
@($classErroneous) = false;
//Created by ClassInitializeMethodBuilder.java:253
@($classInitialized) = true;
}
}
}

protected void $prepare() {
super.$prepare();
}

private void $prepareEnter() {
super.$prepare();
}

public MyInnerClass $create() {
//Created by CreateBuilder.java:57
this.$initialized = false;
$prepareEnter();
return this;
}

public static MyInnerClass $createObject() {
MyInnerClass __NEW__;
//Created by CreateObjectBuilder.java:70
__NEW__ = MyInnerClass.$allocate();
__NEW__.$create()@MyInnerClass
return __NEW__;
}
}

@javax.annotation.processing.Generated()
static private boolean $classInitializationInProgress;

@javax.annotation.processing.Generated()
static private boolean $classErroneous;

@javax.annotation.processing.Generated()
static private boolean $classInitialized;

@javax.annotation.processing.Generated()
static private boolean $classPrepared;

@javax.annotation.processing.Generated()
static public model boolean $staticInv;

@javax.annotation.processing.Generated()
static public model boolean $staticInv_free;

public static MostSimpleInner $allocate();

public MostSimpleInner() {
}

public void $init() {
super.$init();
super.$init();
}

static private void $clprepare() {
}

static public void $clinit() {
if (!@($classInitialized)) {
if (!@($classInitializationInProgress)) {
if (!@($classPrepared)) {
//Created by ClassInitializeMethodBuilder.java:219
@($clprepare());
}
if (@($classErroneous)) {
throw new java.lang.NoClassDefFoundError();
}
//Created by ClassInitializeMethodBuilder.java:243
@($classInitializationInProgress) = true;
try {
@(java.lang.Object.$clinit());
}//Created by ClassInitializeMethodBuilder.java:194
catch (java.lang.Error err) {
//Created by ClassInitializeMethodBuilder.java:154
@($classInitializationInProgress) = false;
//Created by ClassInitializeMethodBuilder.java:155
@($classErroneous) = true;
throw err;
} catch (java.lang.Throwable twa) {
//Created by ClassInitializeMethodBuilder.java:154
@($classInitializationInProgress) = false;
//Created by ClassInitializeMethodBuilder.java:155
@($classErroneous) = true;
throw new java.lang.ExceptionInInitializerError(twa);
}
//Created by ClassInitializeMethodBuilder.java:249
@($classInitializationInProgress) = false;
//Created by ClassInitializeMethodBuilder.java:251
@($classErroneous) = false;
//Created by ClassInitializeMethodBuilder.java:253
@($classInitialized) = true;
}
}
}

protected void $prepare() {
super.$prepare();
}

private void $prepareEnter() {
super.$prepare();
}

public MostSimpleInner $create() {
//Created by CreateBuilder.java:57
this.$initialized = false;
$prepareEnter();
return this;
}

public static MostSimpleInner $createObject() {
MostSimpleInner __NEW__;
//Created by CreateObjectBuilder.java:70
__NEW__ = MostSimpleInner.$allocate();
__NEW__.$create()@MostSimpleInner
return __NEW__;
}
}
0 ...le/expected/01_EnumClassBuilder/Test.java → ...xpected/01_TextblockTransformer/Test.java
View file
Open in desktop
File renamed without changes.
0 ...mple/expected/02_JMLTransformer/Test.java → ...le/expected/02_EnumClassBuilder/Test.java
View file
Open in desktop
File renamed without changes.
0 ...imple/expected/03_JmlDocRemoval/Test.java → ...mple/expected/03_JMLTransformer/Test.java
View file
Open in desktop
File renamed without changes.
24 changes: 24 additions & 0 deletions key.core/pipelineTests/simple/expected/04_JmlDocRemoval/Test.java
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
public class Test {

public static int abc;

static {
// should be resolved to 2
abc = 1 + 1;
}

public int memberVar;

{
memberVar = 42;
}
}

public class SubClass extends Test {

public int memberVar;

{
memberVar = 41;
}
}
0 .../expected/04_ImplicitFieldAdder/Test.java → .../expected/05_ImplicitFieldAdder/Test.java
View file
Open in desktop
File renamed without changes.
0 ...InstanceAllocationMethodBuilder/Test.java → ...InstanceAllocationMethodBuilder/Test.java
View file
Open in desktop
File renamed without changes.
0 ...06_ConstructorNormalformBuilder/Test.java → ...07_ConstructorNormalformBuilder/Test.java
View file
Open in desktop
File renamed without changes.
0 ...7_ClassPreparationMethodBuilder/Test.java → ...8_ClassPreparationMethodBuilder/Test.java
View file
Open in desktop
File renamed without changes.
0 ...08_ClassInitializeMethodBuilder/Test.java → ...09_ClassInitializeMethodBuilder/Test.java
View file
Open in desktop
File renamed without changes.
0 ...xpected/09_PrepareObjectBuilder/Test.java → ...xpected/10_PrepareObjectBuilder/Test.java
View file
Open in desktop
File renamed without changes.
0 ...imple/expected/10_CreateBuilder/Test.java → ...imple/expected/11_CreateBuilder/Test.java
View file
Open in desktop
File renamed without changes.
0 ...expected/11_CreateObjectBuilder/Test.java → ...expected/12_CreateObjectBuilder/Test.java
View file
Open in desktop
File renamed without changes.
0 ...ted/12_LocalClassTransformation/Test.java → ...ted/13_LocalClassTransformation/Test.java
View file
Open in desktop
File renamed without changes.
Loading
Loading