/* ** j###t ########## #### #### ** j###t ########## #### #### ** j###T "###L J###" ** ######P' ########## ######### ** ######k, ########## T######T ** ####~###L #### ** #### q###L ########## .##### ** #### \###L ########## #####" ** ** $Id$ ** ** Class History ** ** Date Name Description ** ---------|------------|----------------------------------------------- ** 24Aug98 subtle start of recorded history ** */ package key.commands; import key.*; import key.util.SeperatedIdentifier; import java.io.IOException; import java.util.Enumeration; import java.util.StringTokenizer; public class Reveal extends Command { public Reveal() { setKey( "reveal" ); usage = "<fully qualified identifier>"; } public void run( Player p, StringTokenizer args, String fullLine, CategoryCommand caller, InteractiveConnection ic, Flags flags ) throws IOException { String type; if( !args.hasMoreTokens() ) usage( ic ); else { SeperatedIdentifier full = new SeperatedIdentifier( args.nextToken( " " ) ); String id=full.id; String loc=full.location; Container l = (Container) getSymbolInside( ic, loc, Type.CONTAINER, p.getContext() ); if( l != null ) { Atom r; r = getElementInside( ic, id, l ); if( r != null ) { l.unalias( r ); ic.sendFeedback( "Revealed atom '" + r.getName() + "' in container " + l.getId() ); } } } } }