edu.washington.cs.supple.customization.scope.versionspace
Class VersionSpaceBuilderDefault
java.lang.Object
edu.washington.cs.supple.customization.scope.versionspace.VersionSpaceBuilderDefault
- All Implemented Interfaces:
- VersionSpaceBuilder
- public class VersionSpaceBuilderDefault
- extends java.lang.Object
- implements VersionSpaceBuilder
- Author:
- raphael
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
VersionSpaceBuilderDefault
public VersionSpaceBuilderDefault()
createVersionSpace
public VersionSpace createVersionSpace(UiObject object,
java.lang.String application,
DeviceProperties device)
- Creates a new version space, initialized with information
by the command c
createVersionSpace
public VersionSpace createVersionSpace(UiObject object,
java.lang.String application,
DeviceProperties device,
java.util.Collection dependencies)
createVersionSpace
public VersionSpace createVersionSpace()
createVersionSpace
public VersionSpace createVersionSpace(State state,
CommandStandard command,
java.util.List commands)
- Specified by:
createVersionSpace
in interface VersionSpaceBuilder