parsedarguments.java

纯java操作系统jnode,安装简单和操作简单的个人使用的Java操作系统

/*
 * $Id: ParsedArguments.java,v 1.1 2003/11/25 11:52:57 epr Exp $
 */
package org.jnode.shell.help;

import java.util.Map;

/**
 * @author qades
 */
public class ParsedArguments {
	Map args;

	ParsedArguments(Map args) {
		this.args = args;
	}

	public int size() {
		return args.size();
	}

	String[] getValues(Argument arg) {
		return (String[])args.get(arg);
	}

	boolean isSet(Parameter param) {
		return args.containsKey(param);
	}
}