Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Stefan Gränitz
Frama Clang
Commits
d0f84139
Commit
d0f84139
authored
Jul 15, 2021
by
Stefan Gränitz
Browse files
Adding a few more overrides that -Wsuggest-override caught but clang-tidy didn't
parent
a8afb922
Changes
3
Hide whitespace changes
Inline
Side-by-side
ACSLTermOrPredicate.cpp
View file @
d0f84139
...
...
@@ -5396,7 +5396,7 @@ public:
_addresses
=
_endAddresses
=
NULL
;
return
result
;
}
virtual
RuleResult
*
clone
()
const
RuleResult
*
clone
()
const
override
{
return
new
TermOrPredicateMemoryExtension
(
*
this
);
}
};
...
...
@@ -5460,7 +5460,7 @@ public:
_commonType
=
NULL
;
return
result
;
}
virtual
RuleResult
*
clone
()
const
{
return
new
TermOrPredicateList
(
*
this
);
}
RuleResult
*
clone
()
const
override
{
return
new
TermOrPredicateList
(
*
this
);
}
};
void
...
...
ACSLToken.h
View file @
d0f84139
...
...
@@ -40,9 +40,9 @@ namespace Acsl { namespace DLexer {
* AbstractToken.
*/
#define DefineStandardTokenMethods(Type) \
virtual
AbstractToken* _clone() const \
AbstractToken* _clone() const
override
\
{ return new Type(*this); } \
Type* clone() const
\
Type* clone() const
override
\
{ return (Type*) _clone(); }
class
Token
;
...
...
DescentParse.h
View file @
d0f84139
...
...
@@ -358,10 +358,10 @@ public:
TParseState
(
const
thisType
&
source
)
:
inherited
(
source
),
_readMethod
(
source
.
_readMethod
),
_object
(
source
.
_object
)
{}
virtual
VirtualParseState
*
clone
()
const
{
return
new
thisType
(
*
this
);
}
VirtualParseState
*
clone
()
const
override
{
return
new
thisType
(
*
this
);
}
virtual
ReadResult
operator
()(
TStateStack
<
TypeArguments
>&
stateStack
,
ParseArgument
&
arguments
)
ReadResult
operator
()(
TStateStack
<
TypeArguments
>&
stateStack
,
ParseArgument
&
arguments
)
override
{
return
(
_object
->*
_readMethod
)(
stateStack
,
arguments
);
}
const
ReadPointerMethod
&
getStateMethod
()
const
{
return
_readMethod
;
}
void
change
(
TypeObject
&
object
,
ReadPointerMethod
readMethod
,
int
point
)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment