|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use MatchEnv | |
ix.icore | I-X core classes. |
ix.icore.domain | Domain descriptions. |
ix.icore.process | Classes for representing processes. |
ix.iface.domain | Domain parsers. |
ix.ip2 | I-X Process Panels |
ix.util.match | Pattern-matching utilities. |
Uses of MatchEnv in ix.icore |
Methods in ix.icore with parameters of type MatchEnv | |
Issue |
Issue.instantiate(MatchEnv env,
Function1 ifUnbound)
|
Uses of MatchEnv in ix.icore.domain |
Methods in ix.icore.domain with parameters of type MatchEnv | |
Refinement |
Refinement.instantiate(MatchEnv env)
|
Refinement |
Refinement.instantiate(MatchEnv env,
Function1 ifUnbound)
|
PatternAssignment |
PatternAssignment.instantiate(MatchEnv env,
Function1 ifUnbound)
|
Constraint |
Constraint.instantiate(MatchEnv env,
Function1 ifUnbound)
|
NodeSpec |
NodeSpec.instantiate(MatchEnv env,
Function1 ifUnbound)
|
java.lang.Object |
Instantiable.instantiate(MatchEnv env,
Function1 ifUnbound)
|
Uses of MatchEnv in ix.icore.process |
Methods in ix.icore.process that return MatchEnv | |
abstract MatchEnv |
ProcessModelManager.evalFilters(java.util.List conds,
MatchEnv env)
|
Methods in ix.icore.process with parameters of type MatchEnv | |
void |
PNode.expandOneLevel(Refinement sourceRefinement,
MatchEnv env,
PNodeMaker nodeMaker)
Creates child nodes as specified by a refinement and installs ordering links. |
abstract MatchEnv |
ProcessModelManager.evalFilters(java.util.List conds,
MatchEnv env)
|
Uses of MatchEnv in ix.iface.domain |
Methods in ix.iface.domain with parameters of type MatchEnv | |
abstract Constraint |
LTF_Parser.ConstraintParser.makeConstraint(LList spec,
MatchEnv env)
|
Uses of MatchEnv in ix.ip2 |
Fields in ix.ip2 declared as MatchEnv | |
(package private) MatchEnv |
ActivityAgenda.ExpandAction.env
|
(package private) MatchEnv |
ActivityAgenda.ExpandAction.filterEnv
|
Methods in ix.ip2 that return MatchEnv | |
MatchEnv |
Ip2ModelManager.evalFilters(java.util.List conds,
MatchEnv env)
|
protected MatchEnv |
Ip2ModelManager.filter(PatternAssignment pv,
LList conds,
MatchEnv baseEnv)
|
protected MatchEnv |
Ip2ModelManager.matchFilter(PatternAssignment pv,
java.util.Map.Entry entry,
MatchEnv baseEnv)
|
Methods in ix.ip2 with parameters of type MatchEnv | |
(package private) void |
AgendaItem.expandOneLevel(Refinement refinement,
MatchEnv env)
|
protected void |
ActivityAgenda.ExpandAction.applyEnv(MatchEnv env)
|
(package private) void |
ActivityItem.expandOneLevel(Refinement refinement,
MatchEnv env)
|
MatchEnv |
Ip2ModelManager.evalFilters(java.util.List conds,
MatchEnv env)
|
protected MatchEnv |
Ip2ModelManager.filter(PatternAssignment pv,
LList conds,
MatchEnv baseEnv)
|
protected MatchEnv |
Ip2ModelManager.matchFilter(PatternAssignment pv,
java.util.Map.Entry entry,
MatchEnv baseEnv)
|
Constructors in ix.ip2 with parameters of type MatchEnv | |
ActivityAgenda.ExpandAction(AgendaItem item,
Refinement refinement,
MatchEnv env)
|
Uses of MatchEnv in ix.util.match |
Fields in ix.util.match declared as MatchEnv | |
static MatchEnv |
SimpleMatcher.emptyEnv
emptyEnv is used to return non-null without allocating an env. |
static MatchEnv |
Matcher.emptyEnv
emptyEnv is used to return non-null without allocating an env. |
Methods in ix.util.match that return MatchEnv | |
static MatchEnv |
SimpleMatcher.mustMatch(java.lang.Object pat,
java.lang.Object dat)
|
static MatchEnv |
SimpleMatcher.mustMatch(java.lang.Object pat,
java.lang.Object dat,
MatchEnv env)
|
static MatchEnv |
SimpleMatcher.match(java.lang.Object pat,
java.lang.Object dat)
Match tries to match a pattern against an object. |
static MatchEnv |
SimpleMatcher.match(java.lang.Object pat,
java.lang.Object dat,
MatchEnv env)
|
static MatchEnv |
Matcher.mustMatch(java.lang.Object pat,
java.lang.Object dat)
|
static MatchEnv |
Matcher.mustMatch(java.lang.Object pat,
java.lang.Object dat,
MatchEnv env)
|
static MatchEnv |
Matcher.match(java.lang.Object pat,
java.lang.Object dat)
Match tries to match a pattern against an object. |
static MatchEnv |
Matcher.match(java.lang.Object pat,
java.lang.Object dat,
MatchEnv env)
|
Methods in ix.util.match with parameters of type MatchEnv | |
static MatchEnv |
SimpleMatcher.mustMatch(java.lang.Object pat,
java.lang.Object dat,
MatchEnv env)
|
static MatchEnv |
SimpleMatcher.match(java.lang.Object pat,
java.lang.Object dat,
MatchEnv env)
|
static MatchEnv |
Matcher.mustMatch(java.lang.Object pat,
java.lang.Object dat,
MatchEnv env)
|
static MatchEnv |
Matcher.match(java.lang.Object pat,
java.lang.Object dat,
MatchEnv env)
|
static java.lang.Object |
Matcher.deref(Variable var,
MatchEnv env)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |