mirror of
https://github.com/zeek/zeek.git
synced 2025-10-15 13:08:20 +00:00
tidying some interfaces
This commit is contained in:
parent
d9b67edf52
commit
a912f6dd9a
3 changed files with 4 additions and 4 deletions
|
@ -405,7 +405,7 @@ public:
|
|||
explicit NameExpr(IDPtr id, bool const_init = false);
|
||||
|
||||
ID* Id() const { return id.get(); }
|
||||
IDPtr IdPtr();
|
||||
const IDPtr& IdPtr() const;
|
||||
|
||||
ValPtr Eval(Frame* f) const override;
|
||||
void Assign(Frame* f, ValPtr v) override;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue