Package org.eclipse.imp.pdb.facts

Examples of org.eclipse.imp.pdb.facts.IConstructor.asAnnotatable()

298
299
300
301
302
303
304
305
306
307
308
      } else
        q = q.append(indent && !q.isEmpty() ? I(a) : a);
    }
    IConstructor r = BoxADT.TAG.HOV.create(q);
    if (hspace >= 0)
      r = r.asAnnotatable().setAnnotation("hs", vf.integer(hspace));
    r = r.asAnnotatable().setAnnotation("vs", vf.integer(0));
    return r;
  }

  static IConstructor HV(int hspace, boolean indent, IValue... t) {
View Full Code Here
299
300
301
302
303
304
305
306
307
308
309
        q = q.append(indent && !q.isEmpty() ? I(a) : a);
    }
    IConstructor r = BoxADT.TAG.HOV.create(q);
    if (hspace >= 0)
      r = r.asAnnotatable().setAnnotation("hs", vf.integer(hspace));
    r = r.asAnnotatable().setAnnotation("vs", vf.integer(0));
    return r;
  }

  static IConstructor HV(int hspace, boolean indent, IValue... t) {
    IList q = BoxADT.getEmptyList();
View Full Code Here
316
317
318
319
320
321
322
323
324
325
326
      } else
        q = q.append(indent && !q.isEmpty() ? I(a) : a);
    }
    IConstructor r = BoxADT.TAG.HV.create(q);
    if (hspace >= 0)
      r = r.asAnnotatable().setAnnotation("hs", vf.integer(hspace));
    r = r.asAnnotatable().setAnnotation("vs", vf.integer(0));
    return r;
  }

}
View Full Code Here
317
318
319
320
321
322
323
324
325
326
        q = q.append(indent && !q.isEmpty() ? I(a) : a);
    }
    IConstructor r = BoxADT.TAG.HV.create(q);
    if (hspace >= 0)
      r = r.asAnnotatable().setAnnotation("hs", vf.integer(hspace));
    r = r.asAnnotatable().setAnnotation("vs", vf.integer(0));
    return r;
  }

}
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.