Support for dynamic templates

ttcn3/syntax/nodes.go

@@ -314,6 +314,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 {
@@ -360,6 +366,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/parser.go

@@ -817,7 +817,10 @@ func (p *parser) parseOperand() Expr {
 		return p.parseCallDecmatch()
 
 	case MODIF:
-		return p.parseDecodedModifier()
+		return p.parseModifier()
+
+	case VALUE:
+		return p.parseIdent()
 
 	default:
 		p.errorExpected("operand")
@@ -897,6 +900,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)
@@ -911,6 +921,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()}
 }
@@ -1015,7 +1032,7 @@ func (p *parser) parseIdent() *Ident {
 	switch p.tok {
 	case UNIVERSAL:
 		return p.parseUniversalCharstring()
-	case IDENT, ADDRESS, ALIVE, CHARSTRING, CONTROL, TO, FROM, CREATE:
+	case IDENT, ADDRESS, ALIVE, CHARSTRING, CONTROL, TO, FROM, CREATE, VALUE:
 		return p.make_use(p.consume())
 	default:
 		p.expect(IDENT) // use expect() error handling