public static List < INode > getNodes ( List < ? extends INode > ast ) { List < INode > nodes = new LinkedList <> ( ) ; nodes . addAll ( ast ) ; return nodes ; }
Convenience method for converting a VDM AST into a list of nodes .