@Override public Expr getDefineMetadata(Environment env, String metadata, int n) { Extension ext = env.getExtension(); if (ext != null) { Expr ee = ext.getMetadata(metadata, n); if (ee != null) { return ee; } } return extension.getMetadata(metadata, n); }
public Expr getDefine(Expr exp, Environment env, String name) { Extension ext = env.getExtension(); if (ext != null) { Expr ee = ext.get(exp, name); if (ee != null) { return ee; } } return extension.get(exp, name); }
@Override public Expr getDefine(Environment env, String name, int n) { Extension ext = env.getExtension(); if (ext != null) { Expr ee = ext.get(name, n); if (ee != null) { return ee; } } return extension.get(name, n); }
Hierarchy getHierarchy() { return getEnvironment().getExtension().getHierarchy(); }
public Expr getDefine(Expr exp, Environment env, String name) { Extension ext = env.getExtension(); if (ext != null) { Expr ee = ext.get(exp, name); if (ee != null) { return ee; } } return extension.get(exp, name); }
@Override public Expr getDefine(Environment env, String name, int n) { Extension ext = env.getExtension(); if (ext != null) { Expr ee = ext.get(name, n); if (ee != null) { return ee; } } return extension.get(name, n); }
@Override public Expr getDefineMetadata(Environment env, String metadata, int n) { Extension ext = env.getExtension(); if (ext != null) { Expr ee = ext.getMetadata(metadata, n); if (ee != null) { return ee; } } return extension.getMetadata(metadata, n); }
Hierarchy getHierarchy() { return getEnvironment().getExtension().getHierarchy(); }
@Override public Expr getDefine(Expr exp, Environment env) { Extension ext = env.getExtension(); if (ext != null) { Expr def = ext.get(exp); if (def != null) { return def; } } Expr def = extension.get(exp); if (def != null) { return def; } return null; }
@Override public Expr getDefine(Expr exp, Environment env) { Extension ext = env.getExtension(); if (ext != null) { Expr def = ext.get(exp); if (def != null) { return def; } } Expr def = extension.get(exp); if (def != null) { return def; } return null; }
/** * Retrieve a method with name and type */ @Override public Expr getDefineMethod(Environment env, String name, IDatatype type, IDatatype[] param) { Extension ext = env.getExtension(); if (ext != null) { if (env.getQuery().isDebug()) { ext.setDebug(true); } Expr ee = ext.getMethod(name, type, param); if (ee != null) { return ee; } } return extension.getMethod(name, type, param); }
/** * Retrieve a method with name and type */ @Override public Expr getDefineMethod(Environment env, String name, IDatatype type, IDatatype[] param) { Extension ext = env.getExtension(); if (ext != null) { if (env.getQuery().isDebug()) { ext.setDebug(true); } Expr ee = ext.getMethod(name, type, param); if (ee != null) { return ee; } } return extension.getMethod(name, type, param); }