Adds $labelDecl.labelStmt

specs-feup · Nov 7, 2024 · acbedd2 · acbedd2
1 parent 02c349f
commit acbedd2
Show file tree

Hide file tree

Showing 5 changed files with 459 additions and 408 deletions.
diff --git a/Clava-JS/src-api/Joinpoints.ts b/Clava-JS/src-api/Joinpoints.ts
@@ -2077,6 +2077,7 @@ export class LabelDecl extends NamedDecl {
   static readonly _defaultAttributeInfo: {readonly map?: DefaultAttributeMap, readonly name: string | null, readonly type?: PrivateMapper, readonly jpMapper?: typeof JoinpointMapper} = {
     name: "name",
   };
+  get labelStmt(): LabelStmt { return wrapJoinPoint(this._javaObject.getLabelStmt()) }
 }
 
 export class LabelStmt extends Statement {