nitc :: MFacet :: defaultinit
# A facet contract representation
# This class is created to keep the information of which method is a contract facet
class MFacet
super MMethod
# Is there an `expect` contract applied?
var has_applied_expect: Bool = false
# Is there an `ensure` contract applied?
var has_applied_ensure: Bool = false
end
src/model/model_contract.nit:48,1--58,3