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