Skip to content
Snippets Groups Projects
Select Git revision
  • main
1 result

agRefResolver.jadd

Blame
    • agRefResolver.jadd 35.23 KiB 
    aspect ReferenceCreation {

  public static Constraint Constraint.createRef(String ref) {
    Unresolved$Constraint unresolvedNode = new Unresolved$Constraint();
    unresolvedNode.setUnresolved$Token(ref);
    unresolvedNode.setUnresolved$ResolveOpposite(true);
    return unresolvedNode;
  }
  public static Constraint Constraint.createRefDirection(String ref) {
    Unresolved$Constraint unresolvedNode = new Unresolved$Constraint();
    unresolvedNode.setUnresolved$Token(ref);
    unresolvedNode.setUnresolved$ResolveOpposite(false);
    return unresolvedNode;
  }
  public static Term Term.createRef(String ref) {
    Unresolved$Term1 unresolvedNode = new Unresolved$Term1();
    unresolvedNode.setUnresolved$Token(ref);
    unresolvedNode.setUnresolved$ResolveOpposite(true);
    return unresolvedNode;
  }
  public static Term Term.createRefDirection(String ref) {
    Unresolved$Term1 unresolvedNode = new Unresolved$Term1();
    unresolvedNode.setUnresolved$Token(ref);
    unresolvedNode.setUnresolved$ResolveOpposite(false);
    return unresolvedNode;
  }
  public static Connective Connective.createRef(String ref) {
    Unresolved$Atom unresolvedNode = new Unresolved$Atom();
    unresolvedNode.setUnresolved$Token(ref);
    unresolvedNode.setUnresolved$ResolveOpposite(true);
    return unresolvedNode;
  }
  public static Connective Connective.createRefDirection(String ref) {
    Unresolved$Atom unresolvedNode = new Unresolved$Atom();
    unresolvedNode.setUnresolved$Token(ref);
    unresolvedNode.setUnresolved$ResolveOpposite(false);
    return unresolvedNode;
  }
  public static Atom Atom.createRef(String ref) {
    Unresolved$Atom unresolvedNode = new Unresolved$Atom();
    unresolvedNode.setUnresolved$Token(ref);
    unresolvedNode.setUnresolved$ResolveOpposite(true);
    return unresolvedNode;
  }
  public static Atom Atom.createRefDirection(String ref) {
    Unresolved$Atom unresolvedNode = new Unresolved$Atom();
    unresolvedNode.setUnresolved$Token(ref);
    unresolvedNode.setUnresolved$ResolveOpposite(false);
    return unresolvedNode;
  }
  public static Relation Relation.createRef(String ref) {
    Unresolved$SelfEq unresolvedNode = new Unresolved$SelfEq();
    unresolvedNode.setUnresolved$Token(ref);
    unresolvedNode.setUnresolved$ResolveOpposite(true);
    return unresolvedNode;
  }
  public static Relation Relation.createRefDirection(String ref) {
    Unresolved$SelfEq unresolvedNode = new Unresolved$SelfEq();
    unresolvedNode.setUnresolved$Token(ref);
    unresolvedNode.setUnresolved$ResolveOpposite(false);
    return unresolvedNode;
  }
  public static UnaryRelation UnaryRelation.createRef(String ref) {
    Unresolved$SelfEq unresolvedNode = new Unresolved$SelfEq();
    unresolvedNode.setUnresolved$Token(ref);
    unresolvedNode.setUnresolved$ResolveOpposite(true);
    return unresolvedNode;
  }
  public static UnaryRelation UnaryRelation.createRefDirection(String ref) {
    Unresolved$SelfEq unresolvedNode = new Unresolved$SelfEq();