TypedValuesFactory

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. def +(other: String): String

   

   Implicit information

   This member is added by an implicit conversion from TypedValuesFactory to any2stringadd[TypedValuesFactory] performed by method any2stringadd in scala.Predef.

   Definition Classes

   any2stringadd

4. def ->[B](y: B): (TypedValuesFactory, B)

   

   Implicit information

   This member is added by an implicit conversion from TypedValuesFactory to ArrowAssoc[TypedValuesFactory] performed by method ArrowAssoc in scala.Predef.

   Definition Classes

   ArrowAssoc

   Annotations

   @inline()

5. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

6. final def DefaultValue(origin: ValueOrigin, theType: FieldType): (TypedValuesFactory.this)#DomainValue

   

   Creates a DomainValue that represents a value with the given type and which is initialized using the JVM's default value for that type.

   Creates a DomainValue that represents a value with the given type and which is initialized using the JVM's default value for that type. E.g., for IntegerValues the value is set to 0. In case of a ReferenceType the value is the ReferenceValuesFactory#NullValue.

7. def TypedValue(origin: ValueOrigin, valueType: Type): (TypedValuesFactory.this)#DomainValue

   

   Factory method to create domain values with a specific type.

   Factory method to create domain values with a specific type. I.e., values for which we have some type information but no precise value or source information. However, the value is guaranteed to be null or properly initialized.

   For example, if valueType is a reference type it may be possible that the actual value is null, but such knowledge is not available.

   The framework uses this method when a method is to be analyzed, but no parameter values are given and initial values need to be generated. This method is not used elsewhere by the framework.

8. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

9. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. def ensuring(cond: (TypedValuesFactory) ⇒ Boolean, msg: ⇒ Any): TypedValuesFactory

    

    Implicit information

    This member is added by an implicit conversion from TypedValuesFactory to Ensuring[TypedValuesFactory] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

11. def ensuring(cond: (TypedValuesFactory) ⇒ Boolean): TypedValuesFactory

    

    Implicit information

    This member is added by an implicit conversion from TypedValuesFactory to Ensuring[TypedValuesFactory] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

12. def ensuring(cond: Boolean, msg: ⇒ Any): TypedValuesFactory

    

    Implicit information

    This member is added by an implicit conversion from TypedValuesFactory to Ensuring[TypedValuesFactory] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

13. def ensuring(cond: Boolean): TypedValuesFactory

    

    Implicit information

    This member is added by an implicit conversion from TypedValuesFactory to Ensuring[TypedValuesFactory] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

14. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

15. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

16. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

17. def formatted(fmtstr: String): String

    

    Implicit information

    This member is added by an implicit conversion from TypedValuesFactory to StringFormat[TypedValuesFactory] performed by method StringFormat in scala.Predef.

    Definition Classes

    StringFormat

    Annotations

    @inline()

18. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

19. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

20. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

21. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

22. final def notify(): Unit

    

    Definition Classes

    AnyRef

23. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

24. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

25. def toString(): String

    

    Definition Classes

    AnyRef → Any

26. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

27. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

28. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

29. def →[B](y: B): (TypedValuesFactory, B)

    

    Implicit information

    This member is added by an implicit conversion from TypedValuesFactory to ArrowAssoc[TypedValuesFactory] performed by method ArrowAssoc in scala.Predef.

    Definition Classes

    ArrowAssoc