replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

languaget: mark non-sensical default implementations = 0 

Every language must override these methods.
This commit is contained in:
Michael Tautschnig 2019-02-02 21:32:43 +00:00
parent d7bb1d4c39
commit 7f11f54f70
2 changed files with 12 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/json-symtab-language/json_symtab_language.h
View File

@ -36,6 +36,15 @@ public:
UNIMPLEMENTED;
}
std::string id() const override
{
return "json_symtab";
}
std::string description() const override
{
return "JSON symbol table";
}
std::set<std::string> extensions() const override
{
return {"json_symtab"};

7
src/langapi/language.h
View File

@ -125,10 +125,9 @@ public:
// language id / description
virtual std::string id() const { return ""; }
virtual std::string description() const { return ""; }
virtual std::set<std::string> extensions() const
{ return std::set<std::string>(); }
virtual std::string id() const = 0;
virtual std::string description() const = 0;
virtual std::set<std::string> extensions() const = 0;
// show parse tree