package model.java.lang;

import de.fosd.typechef.featureexpr.FeatureExpr;
import edu.cmu.cs.varex.V;

/**
 * @author chupanw
 */
public interface Appendable {

    V<?> append__C__Lmodel_java_lang_Appendable(V<? extends java.lang.Integer> vC, FeatureExpr ctx);
    V<?> append__Ljava_lang_CharSequence__Lmodel_java_lang_Appendable(V<? extends CharSequence> vCharSequence, FeatureExpr ctx);
}
