public void define(String name, Combine combine, ParsedPattern _pattern, Location _loc, Annotations _anno) throws BuildException { ParsedPatternHost pattern = (ParsedPatternHost) _pattern; LocationHost loc = cast(_loc); AnnotationsHost anno = cast(_anno); lhs.define(name, combine, pattern.lhs, loc.lhs, anno.lhs); rhs.define(name, combine, pattern.rhs, loc.rhs, anno.rhs); }
public void define(String name, Combine combine, ParsedPattern _pattern, Location _loc, Annotations _anno) throws BuildException { ParsedPatternHost pattern = (ParsedPatternHost) _pattern; LocationHost loc = cast(_loc); AnnotationsHost anno = cast(_anno); lhs.define(name, combine, pattern.lhs, loc.lhs, anno.lhs); rhs.define(name, combine, pattern.rhs, loc.rhs, anno.rhs); }