Lines Matching refs:substitutionHead
93 private CElementInfo substitutionHead;
243 return substitutionHead;
253 public void setSubstitutionHead(CElementInfo substitutionHead) {
255 assert this.substitutionHead==null;
256 assert substitutionHead!=null;
257 this.substitutionHead = substitutionHead;
259 if(substitutionHead.substitutionMembers==null)
260 substitutionHead.substitutionMembers = new HashSet<CElementInfo>();
261 substitutionHead.substitutionMembers.add(this);