public void addParam(String name, String value, Context context, String ns, Location _loc, Annotations _anno) throws BuildException { LocationHost loc = cast(_loc); AnnotationsHost anno = cast(_anno); lhs.addParam( name, value, context, ns, loc.lhs, anno.lhs ); rhs.addParam( name, value, context, ns, loc.rhs, anno.rhs ); }
public DataPatternBuilder makeDataPatternBuilder(String datatypeLibrary, String type, Location _loc) throws BuildException { LocationHost loc = cast(_loc); return new DataPatternBuilderHost( lhs.makeDataPatternBuilder(datatypeLibrary, type, loc.lhs), rhs.makeDataPatternBuilder(datatypeLibrary, type, loc.rhs) ); }
public DataPatternBuilder makeDataPatternBuilder(String datatypeLibrary, String type, Location _loc) throws BuildException { LocationHost loc = cast(_loc); return new DataPatternBuilderHost( lhs.makeDataPatternBuilder(datatypeLibrary, type, loc.lhs), rhs.makeDataPatternBuilder(datatypeLibrary, type, loc.rhs) ); }
public void addParam(String name, String value, Context context, String ns, Location _loc, Annotations _anno) throws BuildException { LocationHost loc = cast(_loc); AnnotationsHost anno = cast(_anno); lhs.addParam( name, value, context, ns, loc.lhs, anno.lhs ); rhs.addParam( name, value, context, ns, loc.rhs, anno.rhs ); }
public ParsedPattern makePattern(ParsedPattern _except, Location _loc, Annotations _anno) throws BuildException { ParsedPatternHost except = (ParsedPatternHost) _except; LocationHost loc = cast(_loc); AnnotationsHost anno = cast(_anno); return new ParsedPatternHost( lhs.makePattern(except.lhs, loc.lhs, anno.lhs), rhs.makePattern(except.rhs, loc.rhs, anno.rhs)); } }
public ParsedPattern makePattern(ParsedPattern _except, Location _loc, Annotations _anno) throws BuildException { ParsedPatternHost except = (ParsedPatternHost) _except; LocationHost loc = cast(_loc); AnnotationsHost anno = cast(_anno); return new ParsedPatternHost( lhs.makePattern(except.lhs, loc.lhs, anno.lhs), rhs.makePattern(except.rhs, loc.rhs, anno.rhs)); } }