Support for dynamic templates

Author: kmichaelk

ttcn3/syntax/nodes.go

@@ -326,6 +326,12 @@ type (
 		X      Expr  // Template expression
 	}
 
+	// A DynamicExpr represents a "@dynamic" expression.
+	DynamicExpr struct {
+		Tok  Token      // Position of "dynamic"
+		Body *BlockStmt // Template body
+	}
+
 	// A DefKindExpr represents a definition kind expression, used by imports
 	// and with-attributes.
 	DefKindExpr struct {
@@ -372,6 +378,7 @@ func (x *RegexpExpr) exprNode()        {}
 func (x *PatternExpr) exprNode()       {}
 func (x *DecmatchExpr) exprNode()      {}
 func (x *DecodedExpr) exprNode()       {}
+func (x *DynamicExpr) exprNode()       {}
 func (x *DefKindExpr) exprNode()       {}
 func (x *ExceptExpr) exprNode()        {}
 

ttcn3/syntax/nodes_gen.go

@@ -825,7 +825,10 @@ func (p *parser) parseOperand() Expr {
 		return p.parseCallDecmatch()
 
 	case MODIF:
-		return p.parseDecodedModifier()
+		return p.parseModifier()
+
+	case VALUE:
+		return p.make_use(p.consume())
 
 	default:
 		p.errorExpected("operand")
@@ -905,6 +908,13 @@ func (p *parser) parseCallDecmatch() *DecmatchExpr {
 	return c
 }
 
+func (p *parser) parseModifier() Expr {
+	if p.peek(1).String() == "@dynamic" {
+		return p.parseDynamicModifier()
+	}
+	return p.parseDecodedModifier()
+}
+
 func (p *parser) parseDecodedModifier() *DecodedExpr {
 	d := new(DecodedExpr)
 	d.Tok = p.expect(MODIF)
@@ -919,6 +929,13 @@ func (p *parser) parseDecodedModifier() *DecodedExpr {
 	return d
 }
 
+func (p *parser) parseDynamicModifier() *DynamicExpr {
+	d := new(DynamicExpr)
+	d.Tok = p.expect(MODIF)
+	d.Body = p.parseBlockStmt()
+	return d
+}
+
 func (p *parser) parseSelectorExpr(x Expr) *SelectorExpr {
 	return &SelectorExpr{X: x, Dot: p.consume(), Sel: p.parseRef()}
 }
@@ -1025,7 +1042,7 @@ func (p *parser) parseIdent() *Ident {
 	switch p.tok {
 	case UNIVERSAL:
 		return p.parseUniversalCharstring()
-	case IDENT, ADDRESS, ALIVE, CHARSTRING, CONTROL, TO, FROM, CREATE, CLASS:
+	case IDENT, ADDRESS, ALIVE, CHARSTRING, CONTROL, TO, FROM, CREATE, VALUE, CLASS:
 		return p.make_use(p.consume())
 	default:
 		p.expect(IDENT) // use expect() error handling