public interface JL5CaseOps
Case
resolveCaseLabel(TypeChecker tc, Type switchType)
Case resolveCaseLabel(TypeChecker tc, Type switchType) throws SemanticException
SemanticException