16 -- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER |
16 -- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER |
17 -- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, |
17 -- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, |
18 -- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN |
18 -- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN |
19 -- THE SOFTWARE. |
19 -- THE SOFTWARE. |
20 |
20 |
21 local ltraverse = require"traverse" |
21 local ltraverse = require"luatraverse" |
22 local sformat = string.format |
22 local sformat = string.format |
23 local have_getsize = false |
23 local have_getsize = false |
24 local getsize = function() |
24 local getsize = function() |
25 return 0 |
25 return 0 |
26 end |
26 end |