From ae26c4c50d6bf15986e2bce6fcca95bb5e562365 Mon Sep 17 00:00:00 2001 From: Jan Tusil Date: Fri, 13 Mar 2020 11:04:13 +0100 Subject: [PATCH] rename isNoInit => hasInit --- semantics/cpp/language/translation/decl/initializer.k | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/semantics/cpp/language/translation/decl/initializer.k b/semantics/cpp/language/translation/decl/initializer.k index 502e4e6b6..bb5b8583b 100644 --- a/semantics/cpp/language/translation/decl/initializer.k +++ b/semantics/cpp/language/translation/decl/initializer.k @@ -326,13 +326,13 @@ module CPP-TRANSLATION-DECL-INITIALIZER syntax Bool ::= hasInit(CId, Map) [function] - rule hasInit(X:CId, X |-> M::Map _) => notBool isNoInit(M) + rule hasInit(X:CId, X |-> M::Map _) => notBool hasNoInit(M) - syntax Bool ::= isNoInit(Map) [function] + syntax Bool ::= hasNoInit(Map) [function] - rule isNoInit(_ |-> (_, NoInit())) => true + rule hasNoInit(_ |-> (_, NoInit())) => true - rule isNoInit(_ |-> _) => false [owise] + rule hasNoInit(_ |-> _) => false [owise] syntax Expr ::= classAggInit(base: LVal, fields: List, initList: List, initializers: Map, class: Class, initExp: K, ctype: ConstructorType, duration: Duration)