changed unary type transformation representation

usethesource · Dec 21, 2023 · 3b10dfb · 3b10dfb
1 parent df3de2f
commit 3b10dfb
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 3 deletions.
diff --git a/src/lang/cpp/TypeSymbol.rsc b/src/lang/cpp/TypeSymbol.rsc
@@ -80,7 +80,7 @@ data TypeSymbol
   | \functionSetType(loc decl, list[TypeSymbol] templateArguments)
   | \functionSetTypePointer(loc decl, list[TypeSymbol] templateArguments)
 
-  | \unaryTypeTransformation(str operator, TypeSymbol operand)
+  | \transformToUnderlyingType(TypeSymbol operand)
   | \unresolved()
   | \any()
 

diff --git a/src/lang/cpp/internal/AST.java b/src/lang/cpp/internal/AST.java
@@ -674,6 +674,8 @@ public AST (IValueFactory vf) {
     = tf.constructor(typestore,_TypeSymbol,"union",tf.sourceLocationType(),"decl");
   private static final Type _TypeSymbol_float_0 
     = tf.constructor(typestore,_TypeSymbol,"float");
+  private static final Type _TypeSymbol_transformToUnderlyingType_1 
+    = tf.constructor(typestore,_TypeSymbol,"transformToUnderlyingType",_TypeSymbol,"operand");
   private static final Type _TypeSymbol_unspecified_0 
     = tf.constructor(typestore,_TypeSymbol,"unspecified");
   private static final Type _TypeSymbol_eUnionTemplate_2 
@@ -6225,6 +6227,21 @@ public IConstructor TypeSymbol_float() {
     return vf.constructor(_TypeSymbol_float_0 ).asWithKeywordParameters().setParameters(kwParams);
   }
 
+  public IConstructor TypeSymbol_transformToUnderlyingType(IConstructor $operand) {
+
+    if (!$operand.getType().isSubtypeOf(_TypeSymbol)) {
+      throw new IllegalArgumentException("Expected " + _TypeSymbol + " but got " + $operand.getType() + " for $operand:" + $operand);
+    }
+
+    Map<String, IValue> kwParams = new HashMap<String, IValue>();
+
+
+
+
+
+    return vf.constructor(_TypeSymbol_transformToUnderlyingType_1 , $operand).asWithKeywordParameters().setParameters(kwParams);
+  }
+
   public IConstructor TypeSymbol_unspecified() {
 
     Map<String, IValue> kwParams = new HashMap<String, IValue>();

diff --git a/src/lang/cpp/internal/TypeResolver.java b/src/lang/cpp/internal/TypeResolver.java
@@ -602,10 +602,11 @@ private IConstructor resolveICPPEnumerationSpecialization(ICPPEnumerationSpecial
 	}
 
 	private IConstructor resolveICPPUnaryTypeTransformation(ICPPUnaryTypeTransformation type, ISourceLocation origin) {	
-		String op = type.getOperator().name();
+		assert type.getOperator().equals(org.eclipse.cdt.core.dom.ast.cpp.ICPPUnaryTypeTransformation.Operator.underlying_type);
+
 		IConstructor operand = resolveType(type.getOperand(), origin);
 
-		return builder.TypeSymbol_unaryTypeTransformation(op, operand);
+		return builder.TypeSymbol_transformToUnderlyingType(operand);
 	}
 
 	private IConstructor resolveICPPUnknownType(ICPPUnknownType type, ISourceLocation origin) {