Task #4083
closed
DataFactory.createObject required
Added by Alexander Kamkin over 11 years ago.
Updated over 11 years ago.
Description
I need DataFactory
's method for creating IData
from Object
(uninterpreted data that I don't want to pass into the solver).
- Tracker changed from Developer Request to Task
- Detected in build set to svn
- Status changed from New to Feedback
- Assignee changed from Sergey Smolov to Alexander Kamkin
У Idata есть тип и значение. Что из этого передается на вход методу?
- Status changed from Feedback to New
- Assignee changed from Alexander Kamkin to Sergey Smolov
Сергей Смолов wrote:
У Idata есть тип и значение. Что из этого передается на вход методу?
Передается значение (объект класса Object
). Множество поддерживаемых типов, видимо, нужно расширить типом вроде UNKNOWN
или OBJECT
. Этот тип использовать при построении объекта IData
. При попытке передать значение такого типа в солвер должно бросаться исключение (что-то вроде UnsupportedTypeException
).
- Status changed from New to Resolved
- Assignee changed from Sergey Smolov to Alexander Kamkin
Саша, это то, что нужно?
r54
- % Done changed from 0 to 100
- Published in build set to 0.2
- Status changed from Resolved to Closed
Also available in: Atom
PDF