package org.jerlang.stdlib.maps; import org.jerlang.erts.erlang.Error; import org.jerlang.type.Integer; import org.jerlang.type.List; import org.jerlang.type.Map; import org.jerlang.type.Term; public class MapsSize { private MapsSize() { } public static Term dispatch(List params) { switch (params.length()) { case 1: Map map = params.head().toMap(); return size_1(map); default: throw Error.badarg; } } /** * http://www.erlang.org/doc/man/maps.html#size-1 */ public static Integer size_1(Map map) { return map.size(); } }