File type_backward_comp

create_typefacts(+TypeTerm, +Parent, UsedIDs, TypeFacts) is semidet

Creates typefacts for the given TypeTerm.
create_typeterm(+TypeRef:id, TypeTerm:typeterm) is semidet

Creates a typeterm from an id which represents a type.

prepare_type_subtree_copy(+TypeRef, +Parent, -NewTypeRef, -NewIDs, -Actions) is semidet

Returns required ids and actions for a copy of a type subtree.

prepare_type_subtree_copy(+TypeRef, +Parent, -NewTypeRef, -NewIDs, -Actions) is semidet

Returns required ids and actions for a copy of a type subtree where types are replaced.


create_typefacts/4

create_typefacts(+TypeTerm, +Parent, UsedIDs, TypeFacts) is semidet

Creates typefacts for the given TypeTerm. Parent has to be the id of the fact with this type.
Use this predicate in the following way (TypeTerm and ParentID have to be bound):
create_typefacts(TypeTerm, ParentId, RefIds, Facts), new_ids(RefIds), maplist(add, Facts).


create_typeterm/2

create_typeterm(+TypeRef:id, TypeTerm:typeterm) is semidet

Creates a typeterm from an id which represents a type. The typeterm can be
nested (for generic types). Allowed facts for the TypeRef argument are:
classT, basicTypeT, typeParamT, wildCardT, typeRefT, arrayTypeT, parameterizedTypeT



prepare_type_subtree_copy/5

prepare_type_subtree_copy(+TypeRef, +Parent, -NewTypeRef, -NewIDs, -Actions) is semidet

Returns required ids and actions for a copy of a type subtree.
Copies the type subtree with root TypeRef to a new subtree with root NewTypeRef, which has Parent as parent.
NewIDs contains all variables which need IDs.
Actions contains all the actions which have to be executed in the transformation part of the ct.



prepare_type_subtree_copy/5

prepare_type_subtree_copy(+TypeRef, +Parent, -NewTypeRef, -NewIDs, -Actions) is semidet

Returns required ids and actions for a copy of a type subtree where types are replaced.
Copies the type subtree with root TypeRef to a new subtree with root NewTypeRef, which has Parent as parent.
NewIDs contains all variables which need IDs.
Actions contains all the actions which have to be executed in the transformation part of the ct.