class org.finos.legend.engine.ide.session.PureSession$1 extends java.lang.Object implements org.finos.legend.pure.m.serialization.runtime.RuntimeOptions
{
final org.finos.legend.engine.ide.session.PureSession this$0;
void <init>(org.finos.legend.engine.ide.session.PureSession)
{
org.finos.legend.engine.ide.session.PureSession$1 v;
org.finos.legend.engine.ide.session.PureSession v;
v := @this: org.finos.legend.engine.ide.session.PureSession$1;
v := @parameter: org.finos.legend.engine.ide.session.PureSession;
v.<org.finos.legend.engine.ide.session.PureSession$1: org.finos.legend.engine.ide.session.PureSession this$0> = v;
specialinvoke v.<java.lang.Object: void <init>()>();
return;
}
public boolean isOptionSet(java.lang.String)
{
org.finos.legend.engine.ide.session.PureSession v;
java.lang.String v;
org.finos.legend.engine.ide.session.PureSession$1 v;
boolean v;
v := @this: org.finos.legend.engine.ide.session.PureSession$1;
v := @parameter: java.lang.String;
v = v.<org.finos.legend.engine.ide.session.PureSession$1: org.finos.legend.engine.ide.session.PureSession this$0>;
v = virtualinvoke v.<org.finos.legend.engine.ide.session.PureSession: boolean getPureRuntimeOption(java.lang.String)>(v);
return v;
}
}