Lines Matching defs:trait

137   // TODO: We should link to the trait/documentation of it. That also means we
141   for (auto &trait : op.getTraits()) {
142     if (isa<PredTrait>(&trait))
145     std::string name = trait.getDef().getName().str();
147     StringRef traitName = trait.getDef().getValueAsString("trait");
152     if (isa<InterfaceTrait>(&trait)) {
153       if (trait.getDef().isSubClassOf("SideEffectsTraitBase")) {
154         auto effectName = trait.getDef().getValueAsString("baseEffectName");
160         auto list = trait.getDef().getValueAsListOfDefs("effects");