public class PropVarOperations
extends java.lang.Object
Constructor and Description |
---|
PropVarOperations(Unsoundness unsoundness)
Constructs a new PropVarOperations object.
|
Modifier and Type | Method and Description |
---|---|
void |
declareAndWriteVariable(java.lang.String varname,
Value value,
boolean allow_overwrite)
Declares the given variable (or function) and assigns the given value to it.
|
Value |
deleteProperty(java.util.Collection<ObjectLabel> objlabels,
PKeys propertystr,
boolean force_weak)
Deletes the given property.
|
Value |
deleteVariable(java.lang.String varname)
Deletes the given variable.
|
Bool |
hasProperty(java.util.Collection<ObjectLabel> objlabels,
PKeys propertyname)
Checks whether the given property is present in the given objects.
|
Value |
readPropertyDirect(java.util.Collection<ObjectLabel> objlabels,
PKey propertyname)
Returns the value of the given property in the objects.
|
Value |
readPropertyDirect(ObjectLabel objlabel,
PKeys propertystr)
Returns the join of the values of the given properties of an object.
|
Value |
readPropertyValue(java.util.Collection<ObjectLabel> objlabels,
PKeys propertystr)
8.6.2.1 [[Get]]
Returns the value of the given property in the given objects.
|
Value |
readPropertyValue(java.util.Collection<ObjectLabel> objlabels,
PKeys propertystr,
java.util.Set<ObjectLabel> collect)
8.6.2.1 [[Get]]
Returns the value of the given property in the given objects.
|
Value |
readPropertyValue(java.util.Collection<ObjectLabel> objlabels,
java.lang.String propertyname)
8.6.2.1 [[Get]]
Returns the value of the given property in the given objects.
|
Value |
readPropertyValue(java.util.Collection<ObjectLabel> objlabels,
java.lang.String propertyname,
java.util.Set<ObjectLabel> collect)
8.6.2.1 [[Get]]
Returns the value of the given property in the given objects.
|
Value |
readPropertyWithAttributes(java.util.Collection<ObjectLabel> objlabels,
PKeys propertystr)
Returns the value of the given property in the given objects.
|
Value |
readPropertyWithAttributes(java.util.Collection<ObjectLabel> objlabels,
java.lang.String propertyname)
Returns the value of the given property in the given objects.
|
Pair<java.util.Set<ObjectLabel>,Value> |
readPropertyWithAttributesAndObjs(java.util.Collection<ObjectLabel> objlabels,
java.lang.String propertyname)
Returns the value of the given property in the given objects, together with the actual objects where the property is read.
|
Value |
readVariable(java.lang.String varname,
java.util.Collection<ObjectLabel> base_objs) |
Value |
readVariable(java.lang.String varname,
java.util.Collection<ObjectLabel> base_objs,
boolean not_invoke_getters)
Returns the value of the given variable.
|
void |
setSolverInterface(GenericSolver.SolverInterface c)
Initializes the connection to the solver.
|
void |
writeProperty(java.util.Collection<ObjectLabel> objlabels,
PKeys propertystr,
Value value)
Same as
writeProperty(Collection, PKeys, Value, boolean) ,
with force_weak set to false. |
void |
writeProperty(java.util.Collection<ObjectLabel> objlabels,
PKeys propertystr,
Value value,
boolean force_weak)
Same as
writeProperty(Collection, PKeys, Value, boolean, boolean) ,
with not_invoke_setters set to false. |
void |
writeProperty(java.util.Collection<ObjectLabel> objlabels,
PKeys propertystr,
Value value,
boolean force_weak,
boolean not_invoke_setters)
Same as
writeProperty(Collection, PKeys, Value, boolean, boolean, boolean, boolean) ,
with process_attributes set to true and value_has_attributes set to false. |
void |
writeProperty(java.util.Collection<ObjectLabel> objlabels,
PKeys propertystr,
Value value,
boolean process_attributes,
boolean value_has_attributes,
boolean force_weak,
boolean not_invoke_setters)
8.6.2.2 [[Put]]
Assigns the given value to the given property of the given objects.
|
void |
writeProperty(ObjectLabel objlabel,
PKey propertyname,
Value value)
Assigns the given value to the given property of the given object.
|
void |
writeProperty(ObjectLabel objlabel,
java.lang.String propertyname,
Value value) |
void |
writePropertyWithAttributes(java.util.Collection<ObjectLabel> objlabels,
PKey propertyname,
Value value)
Assigns the given value to the given property of the given objects, with attributes.
|
void |
writePropertyWithAttributes(java.util.Collection<ObjectLabel> objlabels,
PKey propertyname,
Value value,
boolean set_modified,
boolean decl)
Assigns the given value to the given property of the given objects, with attributes.
|
void |
writePropertyWithAttributes(java.util.Collection<ObjectLabel> objlabels,
PKey propertyname,
Value value,
boolean set_modified,
boolean force_weak,
boolean decl)
Assigns the given value to the given property of the given objects, with attributes.
|
void |
writePropertyWithAttributes(ObjectLabel objlabel,
PKey propertyname,
Value value)
Assigns the given value to the given property of the given object, with attributes.
|
void |
writePropertyWithAttributes(ObjectLabel objlabel,
java.lang.String propertyname,
Value value) |
Pair<java.util.Set<ObjectLabel>,java.lang.Boolean> |
writeVariable(java.lang.String varname,
Value value,
boolean set_modified) |
Pair<java.util.Set<ObjectLabel>,java.lang.Boolean> |
writeVariable(java.lang.String varname,
Value value,
boolean set_modified,
boolean not_invoke_setters)
Assigns the given value to the given variable.
|
public PropVarOperations(Unsoundness unsoundness)
public void declareAndWriteVariable(java.lang.String varname, Value value, boolean allow_overwrite)
allow_overwrite
- if set, allow overwriting of existing properties (if not set, do nothing if the property already exists), false for variable declarationspublic Value deleteProperty(java.util.Collection<ObjectLabel> objlabels, PKeys propertystr, boolean force_weak)
public Value deleteVariable(java.lang.String varname)
public Bool hasProperty(java.util.Collection<ObjectLabel> objlabels, PKeys propertyname)
public Value readPropertyDirect(java.util.Collection<ObjectLabel> objlabels, PKey propertyname)
public Value readPropertyDirect(ObjectLabel objlabel, PKeys propertystr)
public Value readPropertyValue(java.util.Collection<ObjectLabel> objlabels, PKeys propertystr)
public Value readPropertyValue(java.util.Collection<ObjectLabel> objlabels, PKeys propertystr, java.util.Set<ObjectLabel> collect)
collect
- if non-null, collect the objects where the property may be foundpublic Value readPropertyValue(java.util.Collection<ObjectLabel> objlabels, java.lang.String propertyname)
public Value readPropertyValue(java.util.Collection<ObjectLabel> objlabels, java.lang.String propertyname, java.util.Set<ObjectLabel> collect)
collect
- if non-null, collect the objects where the property may be foundpublic Value readPropertyWithAttributes(java.util.Collection<ObjectLabel> objlabels, PKeys propertystr)
public Value readPropertyWithAttributes(java.util.Collection<ObjectLabel> objlabels, java.lang.String propertyname)
public Pair<java.util.Set<ObjectLabel>,Value> readPropertyWithAttributesAndObjs(java.util.Collection<ObjectLabel> objlabels, java.lang.String propertyname)
public Value readVariable(java.lang.String varname, java.util.Collection<ObjectLabel> base_objs)
public Value readVariable(java.lang.String varname, java.util.Collection<ObjectLabel> base_objs, boolean not_invoke_getters)
varname
- the variable namebase_objs
- collection where base objects are added (ignored if null)not_invoke_getters
- if set, do not invoke getter (e.g. for assume-node variable updates)public void setSolverInterface(GenericSolver.SolverInterface c)
public void writeProperty(java.util.Collection<ObjectLabel> objlabels, PKeys propertystr, Value value)
writeProperty(Collection, PKeys, Value, boolean)
,
with force_weak set to false.public void writeProperty(java.util.Collection<ObjectLabel> objlabels, PKeys propertystr, Value value, boolean force_weak)
writeProperty(Collection, PKeys, Value, boolean, boolean)
,
with not_invoke_setters set to false.public void writeProperty(java.util.Collection<ObjectLabel> objlabels, PKeys propertystr, Value value, boolean force_weak, boolean not_invoke_setters)
writeProperty(Collection, PKeys, Value, boolean, boolean, boolean, boolean)
,
with process_attributes set to true and value_has_attributes set to false.public void writeProperty(java.util.Collection<ObjectLabel> objlabels, PKeys propertystr, Value value, boolean process_attributes, boolean value_has_attributes, boolean force_weak, boolean not_invoke_setters)
process_attributes
- if set, attempts to overwrite ReadOnly properties are ignored, and attributes are cleared or copied from the old value according to 8.6.2.2 (false for function declarations)value_has_attributes
- if set, value has attributes that should be used instead of default (cleared)force_weak
- if set, force weak update disregarding objlabelsnot_invoke_setters
- if set, do not invoke setter (e.g. for property declarations in literals)public void writeProperty(ObjectLabel objlabel, PKey propertyname, Value value)
public void writeProperty(ObjectLabel objlabel, java.lang.String propertyname, Value value)
writeProperty(ObjectLabel, PKey, Value)
public void writePropertyWithAttributes(java.util.Collection<ObjectLabel> objlabels, PKey propertyname, Value value)
public void writePropertyWithAttributes(java.util.Collection<ObjectLabel> objlabels, PKey propertyname, Value value, boolean set_modified, boolean decl)
set_modified
- if set, the modified flag is set on written valuesdecl
- if set, do not invoke setter (e.g. for property declarations in literals)public void writePropertyWithAttributes(java.util.Collection<ObjectLabel> objlabels, PKey propertyname, Value value, boolean set_modified, boolean force_weak, boolean decl)
set_modified
- if set, the modified flag is set on written valuesdecl
- if set, do not invoke setter (e.g. for property declarations in literals)public void writePropertyWithAttributes(ObjectLabel objlabel, PKey propertyname, Value value)
public void writePropertyWithAttributes(ObjectLabel objlabel, java.lang.String propertyname, Value value)
public Pair<java.util.Set<ObjectLabel>,java.lang.Boolean> writeVariable(java.lang.String varname, Value value, boolean set_modified)
public Pair<java.util.Set<ObjectLabel>,java.lang.Boolean> writeVariable(java.lang.String varname, Value value, boolean set_modified, boolean not_invoke_setters)
varname
- the variable namevalue
- the new valueset_modified
- if set, the modified flag is set on written values (false for 'assume' operations)not_invoke_setters
- if set, do not invoke setter (e.g. for assume-node variable updates)Copyright © 2009-2019 Aarhus University