package Ġde . fh do . lemma . model _ processing . ph ases . validation Ċ Ċ import Ġde . fh do . lemma . model _ processing . builtin _ ph ases . Validation Result Ċ import Ġde . fh do . lemma . model _ processing . languages . Language Description Ċ import Ġorg . eclipse . emf . ecore . resource . Resource Ċ Ċ /** Ċ Ġ* ĠInterface Ġfor Ġmodel Ġvalidators . Ċ Ġ* Ċ Ġ* Ġ@ author Ġ[ Fl orian ĠR ade m acher ]( mailto : fl orian . r ade m acher @ fh - d ort m und . de ) Ċ Ġ*/ Ċ interface ĠModel Validator I Ġ{ ĊĠĠĠ Ġoperator Ġfun Ġinvoke ( validation Resource : ĠResource , Ġlanguage Description : ĠLanguage Description , ĊĠĠĠĠĠĠĠ Ġrelevant Model Elements : ĠCollection < *> ?) Ġ: ĠList < Validation Result > ĊĠĠĠ Ġfun Ġset Phase Arguments ( phase Arguments : ĠArray < String >) ĊĠĠĠ Ġfun Ġget Phase Arguments () Ġ: ĠArray < String > ĊĠĠĠ Ġfun Ġget Supported File Extensions () Ġ: ĠSet < String > ĊĠĠĠ Ġfun Ġget Language Namespace () Ġ: ĠString Ċ }