Commit 60ef0ac4 authored by Miklos Magyari's avatar Miklos Magyari
Browse files

OOP: class properties can be public


Signed-off-by: Miklos Magyari's avatarMiklos Magyari <miklos.magyari@sigmatechnology.se>
parent 27c79a6e
......@@ -432,7 +432,7 @@ public final class ClassTypeBody extends TTCN3Scope implements IReferenceChainEl
definitions.checkObjectMethodOverride(timestamp);
for (Definition def : definitions.getDefinitions()) {
if (! (def instanceof Def_Function)) {
if (! (def instanceof Def_Function) && ! (def.getType(timestamp) instanceof Property_Type)) {
final VisibilityModifier visibility = def.getVisibilityModifier();
if (visibility != VisibilityModifier.Private && visibility != VisibilityModifier.Protected) {
def.getVisibilityModifierLocation().reportSemanticError(VISIBILITYPRIVATEPROTECTED);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment