Class MethodNames

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

public final class MethodNames extends Object
Provides names of special methods.