Class ClassNames

java.lang.Object
pascal.taie.language.classes.ClassNames

public final class ClassNames extends Object
Provides names of special classes.