1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#pragma once
#include "Compiler/Basic/Named.h"
namespace storm {
namespace syntax {
/**
* Convenience functions for calling members using the Basic Storm backend.
*/
bs::Expr *callMember(Scope scope, Str *name, bs::Expr *me);
bs::Expr *callMember(Scope scope, Str *name, bs::Expr *me, bs::Expr *param);
bs::Expr *callMember(const SrcPos &pos, Scope scope, Str *name, bs::Expr *me);
bs::Expr *callMember(const SrcPos &pos, Scope scope, Str *name, bs::Expr *me, bs::Expr *param);
bs::Expr *callMember(Scope scope, const wchar *name, bs::Expr *me);
bs::Expr *callMember(Scope scope, const wchar *name, bs::Expr *me, bs::Expr *param);
bs::Expr *callMember(const SrcPos &pos, Scope scope, const wchar *name, bs::Expr *me);
bs::Expr *callMember(const SrcPos &pos, Scope scope, const wchar *name, bs::Expr *me, bs::Expr *param);
}
}
|
