dk.brics.tajs.lattice

Class BlockState.Properties

java.lang.Object

dk.brics.tajs.lattice.BlockState.Properties

Enclosing class:

BlockState<BlockStateType extends BlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends CallEdge<BlockStateType>>

public static class BlockState.Properties
extends Object

Constructor Summary

Constructors

Constructor and Description
BlockState.Properties()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj)
Collection<String>	getDefinitely() Returns the property names that are definitely included.
Collection<String>	getMaybe() Returns the property names that are maybe (including definitely) included.
int	hashCode()
boolean	isArray() Returns true if all array properties are maybe included.
boolean	isNonArray() Returns true if all non-array properties are maybe included.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BlockState.Properties

public BlockState.Properties()

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getDefinitely

public Collection<String> getDefinitely()

Returns the property names that are definitely included.

getMaybe

public Collection<String> getMaybe()

Returns the property names that are maybe (including definitely) included.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isArray

public boolean isArray()

Returns true if all array properties are maybe included.

isNonArray

public boolean isNonArray()

Returns true if all non-array properties are maybe included.