public static class PointsToEngine.StmtAndContext
extends java.lang.Object
Constructor and Description |
---|
PointsToEngine.StmtAndContext(PointsToStmt stmt,
CContext context) |
public PointsToEngine.StmtAndContext(PointsToStmt stmt, CContext context)