Java Assertions to Code (JAC) is the tool which is used to generate the code from contracts of the method in Java. COFOJA is used to write contracts and JDT is used to create abstract syntax tree for parsing and manipulation of Java file.

This methods encodes the three dimensional objects in the form of skeletal graph and uses graph matching techniques to match the skeletons and compare the skeletons in the database.after comparing the 3D objects will be retrieved.