|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
visit methods.All strategy).s, that
applies this strategy s to all children.AllSeq(v).visit(T(t1,...- AllSeq(Strategy) -
Constructor for class tom.library.sl.AllSeq
-
- AlphaMap<T extends Atom> - Class in tom.library.freshgom
-
- AlphaMap() -
Constructor for class tom.library.freshgom.AlphaMap
-
- AlphaMap(AlphaMap<T>) -
Constructor for class tom.library.freshgom.AlphaMap
-
- AlphaMap.AlphaException - Exception in tom.library.freshgom
-
- AlphaMap.AlphaException() -
Constructor for exception tom.library.freshgom.AlphaMap.AlphaException
-
- any -
Variable in class tom.library.sl.AbstractStrategyBasic
- Default strategy
- appendField(Field) -
Method in class tom.library.bytecode.BytecodeReader
-
- appendInnerClass(InnerClassInfo) -
Method in class tom.library.bytecode.BytecodeReader
-
- appendMethod(Method) -
Method in class tom.library.bytecode.BytecodeReader
-
- ARG -
Static variable in class tom.library.sl.All
-
- ARG -
Static variable in class tom.library.sl.AllSeq
-
- ARG -
Static variable in class tom.library.sl.BuiltinBottomUp
-
- ARG -
Static variable in class tom.library.sl.BuiltinRepeat
-
- ARG -
Static variable in class tom.library.sl.BuiltinRepeatId
-
- ARG -
Static variable in class tom.library.sl.BuiltinTopDown
-
- ARG -
Static variable in class tom.library.sl.DeRef
-
- ARG -
Static variable in class tom.library.sl.Not
-
- ARG -
Static variable in class tom.library.sl.Omega
-
- ARG -
Static variable in class tom.library.sl.OmegaU
-
- ARG -
Static variable in class tom.library.sl.One
-
- ARG -
Static variable in class tom.library.sl.OneId
-
- ARG -
Static variable in class tom.library.sl.Up
-
- arguments -
Variable in class tom.library.sl.AbstractStrategyCombinator
- Strategy arguments of the combinator that can be used to define
visit methods
- ATermConverter - Interface in tom.library.utils
- This interface contains a method converting specific ATerm to Tom usable
ATerm.
- Atom - Interface in tom.library.freshgom
-
s, that
applies this strategy s in a bottom-up way to all children.s, that
repeats the application of s until it failss, that
repeats the application of s until it does nothing (Identity)s, that
applies this strategy s in a top-down way to all children.Choice(v1,v2) = v1 if v1 succeeds
Choice(v1,v2) = v2 if v1 fails
Visitor combinator with two arguments, that tries to
apply the first argument and if it fails tries the other
(left-biased choice).ChoiceId(v1,v2) = v1 if v1 is not Identity
ChoiceId(v1,v2) = v2 otherwise
Strategy combinator with two arguments, that applies
these arguments one after the other (sequential composition), if the first
one is not the identity.ChoiceUndet(v1,..- classNotAPlugin -
Static variable in class tom.platform.PluginPlatformMessage
-
- classNotFound -
Static variable in class tom.platform.PluginPlatformMessage
-
- classNotOptionManager -
Static variable in class tom.platform.PluginPlatformMessage
-
- classPathRead -
Static variable in class tom.platform.PluginPlatformMessage
-
- classToDot(ClassNode) -
Static method in class tom.library.bytecode.CFGViewer
- Generates a control flow graph for each method of the given class.
- clear() -
Method in class tom.platform.StatusHandler
- Clear all previous records
- clear() -
Method in class tom.platform.TestHandler
-
- clearGlobalStatusHandler() -
Method in class tom.platform.PluginPlatformBase
-
- clone() -
Method in class tom.library.sl.Environment
-
- clone() -
Method in class tom.library.sl.Position
-
- close() -
Method in class tom.platform.StatusHandler
-
- close() -
Method in class tom.platform.TestHandler
-
- combine(AlphaMap<T>) -
Method in class tom.library.freshgom.AlphaMap
-
- combine(ConvertMap<T>) -
Method in class tom.library.freshgom.ConvertMap
-
- compare(Path) -
Method in class tom.library.sl.Position
- Compares two positions
- conc(int) -
Method in interface tom.library.sl.Path
- Add the move i to the end of the current path
- conc(int) -
Method in class tom.library.sl.Position
-
- concat(RuntimeAlert) -
Method in class tom.platform.RuntimeAlert
-
- CONDITION -
Static variable in class tom.library.sl.IfThenElse
-
- configFileNotFound -
Static variable in class tom.platform.PluginPlatformMessage
-
- configFileNotSpecified -
Static variable in class tom.platform.PluginPlatformMessage
-
- configFileNotXML -
Static variable in class tom.platform.PluginPlatformMessage
-
- ConfigurationManager - Class in tom.platform
- This class is a wrapper for the platform XML configuration files.
- ConfigurationManager(String) -
Constructor for class tom.platform.ConfigurationManager
- Basic Constructor
constructing a configurationManager that needs to be initialized
- convert(ATerm) -
Method in interface tom.library.utils.ATermConverter
- Method triggered when importing ATerm with an external format.
- convert(ATerm) -
Method in class tom.library.utils.IdConverter
- Method triggered when using the default import method in Gom.
- convert(String) -
Method in class tom.library.xml.XMLToTNode
- Set up nodeTerm by providing a filename
- convert(InputStream) -
Method in class tom.library.xml.XMLToTNode
- Set up nodeTerm by providing an InputStream
- convert(Node) -
Method in class tom.library.xml.XMLToTNode
- Set up nodeTerm by providing a Node
- ConvertMap<T extends Atom> - Class in tom.library.freshgom
-
- ConvertMap() -
Constructor for class tom.library.freshgom.ConvertMap
-
- ConvertMap(ConvertMap<T>) -
Constructor for class tom.library.freshgom.ConvertMap
-
- convertToNode(InputStream) -
Method in class tom.library.xml.XmlTools
- Converts XML to Node by providing an InputStream
- convertToNode(String) -
Method in class tom.library.xml.XMLToTNode
- Returns an XML file to a Node representation
- convertToNode(InputStream) -
Method in class tom.library.xml.XMLToTNode
- Returns a Node by providing an input stream
- convertXMLToTNode(String) -
Method in class tom.library.xml.XmlTools
- Converts XML to TNode
- convertXMLToTNode(InputStream) -
Method in class tom.library.xml.XmlTools
- Converts XML to TNode by providing an input stream
- create(String[], String, List<String>) -
Method in class tom.platform.PluginPlatformFactory
- Based on an array of string, the create method return a
PluginPlatform or null if something wrong occurs.
- create(String[], String, List<String>, Map<String, String>) -
Method in class tom.platform.PluginPlatformFactory
-
- current -
Variable in class tom.library.sl.Environment
-
x.accept(Fail) always raises a VisitFailure exception.x.accept(Identity) = x
Strategy combinator without arguments that does nothing.name
which denotes the name of the mu-variable
This basic argument combinator used to build recursive arguments
After the mu-expansion, the private variable instance
is a pointer to the strategy to execute
Not(v) succeeds if and only if v fails.Omega(i,v)
Strategy combinator which applies v the i-th subterm
0-th subterm is the term itself
1-th subterm corresponds to the first subterm
...OmegaU(v)
Strategy combinator which applies Omega(i,v) with
i in [1..arity] with a uniform probability
i.e. with probability 1/getChildCount
s, that
applies this strategy s to exactly one child.T(t1,...- OneId(Strategy) -
Constructor for class tom.library.sl.OneId
-
- optionChanged(String, Object) -
Method in interface tom.platform.OptionOwner
- Method triggered each time an option own is changed:
The Option owner can react to that change
- OptionManager - Interface in tom.platform
- Manage the list of option of different plugin but also global option
declared in xml configfile
- OptionOwner - Interface in tom.platform
- This interface contains the option-related methods of Plugin.
- OptionParser - Class in tom.platform
- Helper class to parse OptionOwner options.
- OptionParser() -
Constructor for class tom.platform.OptionParser
-
Pselect(p,q,v1,v2) = v1 with probability p/q
Pselect(p,q,v1,v2) = v2 with probability 1-(p/q)
Visitor combinator with a probability and two arguments,
that select a argument according to the probability p/q
The strategy fails if the selected strategy fails
Note that any side-effects of v1 are not undone when it fails.Sequence(v1,v2)[t] = v2[v1[t]] if v1 succeeds
fails otherwise
Strategy combinator with two arguments, that applies
these arguments one after the other (sequential composition).x.fire(SequenceId (v1,v2)) = x.fire(v1) ; x.fire(v2) if x.fire(v1)!- setArgs(Object[]) -
Method in interface tom.platform.Plugin
- Sets the input of the plugin.
- setChildAt(int, Visitable) -
Method in class tom.library.bytecode.CFGViewer.AllCfg
-
- setChildAt(int, Visitable) -
Method in class tom.library.bytecode.CFGViewer.Assign
-
- setChildAt(int, Visitable) -
Method in class tom.library.bytecode.CFGViewer.BuildLabelMap
-
- setChildAt(int, Visitable) -
Method in class tom.library.bytecode.CFGViewer.IsMarked
-
- setChildAt(int, Visitable) -
Method in class tom.library.bytecode.CFGViewer.Mark
-
- setChildAt(int, Visitable) -
Method in class tom.library.bytecode.CFGViewer.OneCfg
-
- setChildAt(int, Visitable) -
Method in class tom.library.bytecode.CFGViewer.PrintDotLink
-
- setChildAt(int, Visitable) -
Method in class tom.library.bytecode.CFGViewer.PrintDotNode
-
- setChildAt(int, Visitable) -
Method in class tom.library.bytecode.CFGViewer.UnMark
-
- setChildAt(int, Visitable) -
Method in class tom.library.bytecode.ToolBox.BuildDescriptor
-
- setChildAt(int, Visitable) -
Method in class tom.library.sl.AbstractStrategyBasic
-
- setChildAt(int, Visitable) -
Method in class tom.library.sl.AbstractStrategyCombinator
- Replaces a child at the specified position
- setChildAt(T, int, Object) -
Method in interface tom.library.sl.Introspector
- Replace the i-th subterm of the object o by child
- setChildAt(int, Visitable) -
Method in interface tom.library.sl.Visitable
- Replaces a child at the specified position
- setChildAt(int, Visitable) -
Method in class tom.library.sl.VisitableBuiltin
-
- setChildAt(Object, int, Object) -
Method in class tom.library.sl.VisitableIntrospector
-
- setChildAt(int, Visitable) -
Method in class tom.library.utils.Viewer.RemoveMu
-
- setChildren(Visitable[]) -
Method in class tom.library.bytecode.CFGViewer.AllCfg
-
- setChildren(Visitable[]) -
Method in class tom.library.bytecode.CFGViewer.Assign
-
- setChildren(Visitable[]) -
Method in class tom.library.bytecode.CFGViewer.BuildLabelMap
-
- setChildren(Visitable[]) -
Method in class tom.library.bytecode.CFGViewer.IsMarked
-
- setChildren(Visitable[]) -
Method in class tom.library.bytecode.CFGViewer.Mark
-
- setChildren(Visitable[]) -
Method in class tom.library.bytecode.CFGViewer.OneCfg
-
- setChildren(Visitable[]) -
Method in class tom.library.bytecode.CFGViewer.PrintDotLink
-
- setChildren(Visitable[]) -
Method in class tom.library.bytecode.CFGViewer.PrintDotNode
-
- setChildren(Visitable[]) -
Method in class tom.library.bytecode.CFGViewer.UnMark
-
- setChildren(Visitable[]) -
Method in class tom.library.bytecode.ToolBox.BuildDescriptor
-
- setChildren(Visitable[]) -
Method in class tom.library.sl.AbstractStrategyBasic
-
- setChildren(Visitable[]) -
Method in class tom.library.sl.AbstractStrategyCombinator
- Replaces all children of any visitable at once, and returns this
visitable.
- setChildren(T, Object[]) -
Method in interface tom.library.sl.Introspector
- Replace all children of a given object, and return the new object
- setChildren(Visitable[]) -
Method in interface tom.library.sl.Visitable
- Replaces all children of any visitable at once, and returns this
visitable.
- setChildren(Visitable[]) -
Method in class tom.library.sl.VisitableBuiltin
-
- setChildren(Object, Object[]) -
Method in class tom.library.sl.VisitableIntrospector
-
- setChildren(Visitable[]) -
Method in class tom.library.utils.Viewer.RemoveMu
-
- setDeletingWhiteSpaceNodes(boolean) -
Method in class tom.library.xml.XmlTools
- Set up the deleteWhiteSpaceNodes variable
- setDeletingWhiteSpaceNodes(boolean) -
Method in class tom.library.xml.XMLToTNode
-
- setEnvironment(Environment) -
Method in class tom.library.sl.AbstractStrategy
- Set up a new environment.
- setEnvironment(Environment) -
Method in interface tom.library.sl.Strategy
- Set up a new environment
- setGlobalOptionList(PlatformOptionList) -
Method in interface tom.platform.OptionManager
- set the global PlatformOptionList
- setInstance(Strategy) -
Method in class tom.library.sl.MuVar
-
- setIntrospector(Introspector) -
Method in class tom.library.sl.Environment
-
- setMessageName(String) -
Method in class tom.platform.BasicPlatformMessage
-
- setMessageName(String) -
Method in interface tom.platform.PlatformMessage
-
- setMessageName(String) -
Method in class tom.platform.PluginPlatformMessage
-
- setName(String) -
Method in class tom.library.sl.MuVar
-
- setOptionManager(OptionManager) -
Method in interface tom.platform.OptionOwner
- Sets the associated OptionManager
- setOptionValue(String, Object) -
Method in interface tom.platform.OptionManager
- Set the option 'name' to the corresponding value
- setOutputStream(OutputStream) -
Method in class tom.library.xml.TNodeToXML
- Set up the output stream
- setRoot(Object) -
Method in class tom.library.sl.AbstractStrategy
- Set up the current root.
- setRoot(Object) -
Method in class tom.library.sl.Environment
- set the current root
- setStatus(int) -
Method in class tom.library.sl.Environment
-
- setSubject(Object) -
Method in class tom.library.sl.AbstractStrategy
- Set up the current subject
- setSubject(Object) -
Method in class tom.library.sl.Environment
- set the current term
- settingArgError -
Static variable in class tom.platform.PluginPlatformMessage
-
- setWriter(Writer) -
Method in class tom.library.xml.TNodeToXML
- Set up the writer
- sortAttributeList(TNodeList) -
Method in class tom.library.xml.XMLToTNode
-
- status -
Variable in class tom.library.sl.Environment
-
- StatusHandler - Class in tom.platform
-
- StatusHandler() -
Constructor for class tom.platform.StatusHandler
- Constructor
- Strategy - Interface in tom.library.sl
-
- sub(Path) -
Method in interface tom.library.sl.Path
- Computes the path from the target of this to the target of the parameter p.
- sub(Path) -
Method in class tom.library.sl.Position
-
- subterm -
Variable in class tom.library.sl.Environment
-
- SUCCESS -
Static variable in class tom.library.sl.Environment
-
String object representing the position.
String object representing the position.
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||