Changeset 51d4040 in mainline for contrib/arch/hadlbppp.py

Timestamp:

2009-09-16T23:22:20Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

f1fb1d1

Parents:

cf7b3e0

Message:

add support for 'alternative' statement in BP
implement interface protocol repetition

File:

• contrib/arch/hadlbppp.py (modified) (8 diffs)

contrib/arch/hadlbppp.py

@@ -35 +35 @@
 
 # TODO:
-#  - alternative token
-#  - iface protocol repetition
 #  - interface inheritance
 
@@ -130 +128 @@
         return True
 
-def preproc_bp(name, tokens):
+def tentative_bp(name, tokens):
         "Preprocess tentative statements in Behavior Protocol"
         
@@ -153 +151 @@
                                 if (level == 0):
                                         result.append("(")
-                                        result.extend(preproc_bp(name, tokens[start:(i - 1)]))
+                                        result.extend(tentative_bp(name, tokens[start:(i - 1)]))
                                         result.append(")")
                                         result.append("+")
@@ -162 +160 @@
                                         print "%s: Syntax error in tentative statement" % name
                         else:
-                                print "%s: Unexpected token in tentative statement" % name
+                                print "%s: Expected '{' for tentative statement" % name
                 else:
                         result.append(tokens[i])
@@ -170 +168 @@
         return result
 
+def alternative_bp(name, tokens):
+        "Preprocess alternative statements in Behavior Protocol"
+        
+        result = []
+        i = 0
+        
+        while (i < len(tokens)):
+                if (tokens[i] == "alternative"):
+                        if ((i + 1 < len(tokens)) and (tokens[i + 1] == "(")):
+                                i += 2
+                                reps = []
+                                
+                                while ((i < len(tokens)) and (tokens[i] != ")")):
+                                        reps.append(tokens[i])
+                                        if ((i + 1 < len(tokens)) and (tokens[i + 1] == ";")):
+                                                i += 2
+                                        else:
+                                                i += 1
+                                
+                                if (len(reps) >= 2):
+                                        if ((i + 1 < len(tokens)) and (tokens[i + 1] == "{")):
+                                                i += 2
+                                                
+                                                start = i
+                                                level = 1
+                                                
+                                                while ((i < len(tokens)) and (level > 0)):
+                                                        if (tokens[i] == "{"):
+                                                                level += 1
+                                                        elif (tokens[i] == "}"):
+                                                                level -= 1
+                                                        
+                                                        i += 1
+                                                
+                                                if (level == 0):
+                                                        first = True
+                                                        
+                                                        for rep in reps[1:]:
+                                                                retokens = []
+                                                                for token in tokens[start:(i - 1)]:
+                                                                        parts = token.split(".")
+                                                                        if ((len(parts) == 2) and (parts[0] == reps[0])):
+                                                                                retokens.append("%s.%s" % (rep, parts[1]))
+                                                                        else:
+                                                                                retokens.append(token)
+                                                                
+                                                                if (first):
+                                                                        first = False
+                                                                else:
+                                                                        result.append("+")
+                                                                
+                                                                result.append("(")
+                                                                result.extend(alternative_bp(name, retokens))
+                                                                result.append(")")
+                                                        
+                                                        if (i < len(tokens)):
+                                                                result.append(tokens[i])
+                                                else:
+                                                        print "%s: Syntax error in alternative statement" % name
+                                        else:
+                                                print "%s: Expected '{' for alternative statement body" % name
+                                else:
+                                        print "%s: At least one pattern and one replacement required for alternative statement" % name
+                        else:
+                                print "%s: Expected '(' for alternative statement head" % name
+                else:
+                        result.append(tokens[i])
+                
+                i += 1
+        
+        return result
+
 def split_bp(protocol):
         "Convert Behavior Protocol to tokens"
@@ -176 +246 @@
 
 def extend_bp(name, tokens, iface):
-        "Add interface to incoming messages"
-        
-        result = []
+        "Convert interface Behavior Protocol to generic protocol"
+        
+        result = ["("]
         i = 0
         
@@ -198 +268 @@
                 i += 1
         
+        result.append(")")
+        result.append("*")
+        
         return result
 
@@ -227 +300 @@
         "Parse Behavior Protocol"
         
-        tokens = preproc_bp(name, tokens)
+        tokens = tentative_bp(name, tokens)
+        tokens = alternative_bp(name, tokens)
         
         indent = base_indent