metamodel: new MMType::is_valid method
authorJean Privat <jean@pryen.org>
Thu, 18 Jun 2009 20:39:16 +0000 (16:39 -0400)
committerJean Privat <jean@pryen.org>
Wed, 24 Jun 2009 19:47:34 +0000 (15:47 -0400)
commit35b9b533d5d267d2a0ce59e75fd6331dbcaa67a2
treef0df395e14808fae3614146c681357f4cec12d44
parent5e1adacf9d81fe4683479f78d2f92caad0d74d1d
metamodel: new MMType::is_valid method

is_valid is used to discriminate fully build MMType from others.
Currently, only MMTypeFormal require it.
Previous behavior of returning null on invalid MMTypeFormal's methods is disabled.

syntax_base.nit is adapted to the new behavior.

Signed-off-by: Jean Privat <jean@pryen.org>
src/metamodel/static_type.nit
src/metamodel/type_formal.nit
src/syntax/syntax_base.nit