public class org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException extends java.lang.Exception
{
private static final long serialVersionUID;
private final java.util.regex.PatternSyntaxException pse;
public void <init>(java.util.regex.PatternSyntaxException)
{
java.util.regex.PatternSyntaxException v;
org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException v;
v := @this: org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException;
v := @parameter: java.util.regex.PatternSyntaxException;
specialinvoke v.<java.lang.Exception: void <init>()>();
v.<org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException: java.util.regex.PatternSyntaxException pse> = v;
return;
}
public void <init>(java.lang.String, java.lang.String, int)
{
java.util.regex.PatternSyntaxException v;
org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException v;
int v;
java.lang.String v, v;
v := @this: org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException;
v := @parameter: java.lang.String;
v := @parameter: java.lang.String;
v := @parameter: int;
v = new java.util.regex.PatternSyntaxException;
specialinvoke v.<java.util.regex.PatternSyntaxException: void <init>(java.lang.String,java.lang.String,int)>(v, v, v);
specialinvoke v.<org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException: void <init>(java.util.regex.PatternSyntaxException)>(v);
return;
}
public java.lang.String getDescription()
{
java.lang.String v;
java.util.regex.PatternSyntaxException v;
org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException v;
v := @this: org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException;
v = v.<org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException: java.util.regex.PatternSyntaxException pse>;
v = virtualinvoke v.<java.util.regex.PatternSyntaxException: java.lang.String getDescription()>();
return v;
}
public int getIndex()
{
int v;
java.util.regex.PatternSyntaxException v;
org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException v;
v := @this: org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException;
v = v.<org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException: java.util.regex.PatternSyntaxException pse>;
v = virtualinvoke v.<java.util.regex.PatternSyntaxException: int getIndex()>();
return v;
}
public java.lang.String getMessage()
{
java.lang.String v;
java.util.regex.PatternSyntaxException v;
org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException v;
v := @this: org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException;
v = v.<org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException: java.util.regex.PatternSyntaxException pse>;
v = virtualinvoke v.<java.util.regex.PatternSyntaxException: java.lang.String getMessage()>();
return v;
}
public java.lang.String getPattern()
{
java.lang.String v;
java.util.regex.PatternSyntaxException v;
org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException v;
v := @this: org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException;
v = v.<org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException: java.util.regex.PatternSyntaxException pse>;
v = virtualinvoke v.<java.util.regex.PatternSyntaxException: java.lang.String getPattern()>();
return v;
}
}