From 2f2d38ce7954af90065fb71d811906630808eddc Mon Sep 17 00:00:00 2001 From: Alexandre Terrasa Date: Tue, 15 May 2018 12:49:55 -0400 Subject: [PATCH] model_filters: make all options writable Signed-off-by: Alexandre Terrasa --- src/model/model_filters.nit | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/model/model_filters.nit b/src/model/model_filters.nit index 2c6cead..85f1042 100644 --- a/src/model/model_filters.nit +++ b/src/model/model_filters.nit @@ -184,7 +184,7 @@ class ModelFilter # Accept examples? # # Default is `true`. - var accept_example = true is optional + var accept_example = true is optional, writable # Accept only entities that are not example related fun accept_mentity_example(mentity: MEntity): Bool do @@ -193,7 +193,7 @@ class ModelFilter end # If set, accept only entities local to `accept_inherited` - var accept_inherited: nullable MEntity = null is optional + var accept_inherited: nullable MEntity = null is optional, writable # Accept only entities local to `accept_inherited` # -- 1.7.9.5