model: add MType::can_resolve_for
authorJean Privat <jean@pryen.org>
Fri, 2 Aug 2013 19:18:15 +0000 (15:18 -0400)
committerJean Privat <jean@pryen.org>
Fri, 2 Aug 2013 19:18:15 +0000 (15:18 -0400)
commit25aabdd2862f067c8748c82ab710f546b904a942
tree7cdb44040182093886d74b9b45a1aa809166ec47
parent7fd096dfc4327e3ce5bebf7b3a74f966fed2a9e5
model: add MType::can_resolve_for

Also beef-up most methods that require resolution with preconditions that
rely on `can_resolve_for`

Signed-off-by: Jean Privat <jean@pryen.org>
src/model/model.nit