Expanded tabs into spaces

1 files changed, 232 insertions, 232 deletions

diff --git a/java/demo/Freeze/phonebook/Scanner.java b/java/demo/Freeze/phonebook/Scanner.java
index e30cf50c485..0fa47a2e3af 100644
--- a/java/demo/Freeze/phonebook/Scanner.java
+++ b/java/demo/Freeze/phonebook/Scanner.java
@@ -11,74 +11,74 @@ class Scanner
 {
     Scanner(Parser p)
     {
-	_parser = p;
+        _parser = p;
     }
     
     Token
     nextToken()
     {
-	String s = next();
-	if(s == null)
-	{
-	    return null;
-	}
+        String s = next();
+        if(s == null)
+        {
+            return null;
+        }
 
-	if(s.equals(";"))
-	{
-	    return new Token(Token.TOK_SEMI);
-	}
-	else if(s.equals("help"))
-	{
-	    return new Token(Token.TOK_HELP);
-	}
-	else if(s.equals("exit") || s.equals("quit"))
-	{
-	    return new Token(Token.TOK_EXIT);
-	}
-	else if(s.equals("add"))
-	{
-	    return new Token(Token.TOK_ADD_CONTACTS);
-	}
-	else if(s.equals("find"))
-	{
-	    return new Token(Token.TOK_FIND_CONTACTS);
-	}
-	else if(s.equals("next"))
-	{
-	    return new Token(Token.TOK_NEXT_FOUND_CONTACT);
-	}
-	else if(s.equals("current"))
-	{
-	    return new Token(Token.TOK_PRINT_CURRENT);
-	}
-	else if(s.equals("name"))
-	{
-	    return new Token(Token.TOK_SET_CURRENT_NAME);
-	}
-	else if(s.equals("address"))
-	{
-	    return new Token(Token.TOK_SET_CURRENT_ADDRESS);
-	}
-	else if(s.equals("phone"))
-	{
-	    return new Token(Token.TOK_SET_CURRENT_PHONE);
-	}
-	else if(s.equals("remove"))
-	{
-	    return new Token(Token.TOK_REMOVE_CURRENT);
-	}
-	else if(s.equals("size"))
-	{
-	    return new Token(Token.TOK_SET_EVICTOR_SIZE);
-	}
-	else if(s.equals("shutdown"))
-	{
-	    return new Token(Token.TOK_SHUTDOWN);
-	}
-	else
-	{
-	    return new Token(Token.TOK_STRING, s);
-	}
+        if(s.equals(";"))
+        {
+            return new Token(Token.TOK_SEMI);
+        }
+        else if(s.equals("help"))
+        {
+            return new Token(Token.TOK_HELP);
+        }
+        else if(s.equals("exit") || s.equals("quit"))
+        {
+            return new Token(Token.TOK_EXIT);
+        }
+        else if(s.equals("add"))
+        {
+            return new Token(Token.TOK_ADD_CONTACTS);
+        }
+        else if(s.equals("find"))
+        {
+            return new Token(Token.TOK_FIND_CONTACTS);
+        }
+        else if(s.equals("next"))
+        {
+            return new Token(Token.TOK_NEXT_FOUND_CONTACT);
+        }
+        else if(s.equals("current"))
+        {
+            return new Token(Token.TOK_PRINT_CURRENT);
+        }
+        else if(s.equals("name"))
+        {
+            return new Token(Token.TOK_SET_CURRENT_NAME);
+        }
+        else if(s.equals("address"))
+        {
+            return new Token(Token.TOK_SET_CURRENT_ADDRESS);
+        }
+        else if(s.equals("phone"))
+        {
+            return new Token(Token.TOK_SET_CURRENT_PHONE);
+        }
+        else if(s.equals("remove"))
+        {
+            return new Token(Token.TOK_REMOVE_CURRENT);
+        }
+        else if(s.equals("size"))
+        {
+            return new Token(Token.TOK_SET_EVICTOR_SIZE);
+        }
+        else if(s.equals("shutdown"))
+        {
+            return new Token(Token.TOK_SHUTDOWN);
+        }
+        else
+        {
+            return new Token(Token.TOK_STRING, s);
+        }
     }
 
     static private class EndOfInput extends Exception
@@ -87,41 +87,41 @@ class Scanner
 
     private char
     get()
-	throws EndOfInput
+        throws EndOfInput
     {
-	//
-	// If there is an character in the unget buffer, return it.
-	//
-	if(_unget)
-	{
-	    _unget = false;
-	    return _ungetChar;
-	}
+        //
+        // If there is an character in the unget buffer, return it.
+        //
+        if(_unget)
+        {
+            _unget = false;
+            return _ungetChar;
+        }
 
-	//
-	// No current buffer?
-	//
-	if(_buf == null)
-	{
-	    _buf = _parser.getInput();
-	    _pos = 0;
-	    if(_buf == null)
-	    {
-		throw new EndOfInput();
-	    }
-	}
+        //
+        // No current buffer?
+        //
+        if(_buf == null)
+        {
+            _buf = _parser.getInput();
+            _pos = 0;
+            if(_buf == null)
+            {
+                throw new EndOfInput();
+            }
+        }
 
-	//
-	// At the end-of-buffer?
-	//
-	while(_pos >= _buf.length())
-	{
-	    _buf = null;
-	    _pos = 0;
-	    return '\n';
-	}
+        //
+        // At the end-of-buffer?
+        //
+        while(_pos >= _buf.length())
+        {
+            _buf = null;
+            _pos = 0;
+            return '\n';
+        }
 
-	return _buf.charAt(_pos++);
+        return _buf.charAt(_pos++);
     }
 
     //
@@ -130,153 +130,153 @@ class Scanner
     private void
     unget(char c)
     {
-	assert(!_unget);
-	_unget = true;
-	_ungetChar = c;
+        assert(!_unget);
+        _unget = true;
+        _ungetChar = c;
     }
 
     private String
     next()
     {
-	//
-	// Eat any whitespace.
-	//
-	char c;
-	try
-	{
-	    do
-	    {
-		c = get();
-	    }
-	    while(Character.isWhitespace(c) && c != '\n');
-	}
-	catch(EndOfInput ignore)
-	{
-	    return null;
-	}
+        //
+        // Eat any whitespace.
+        //
+        char c;
+        try
+        {
+            do
+            {
+                c = get();
+            }
+            while(Character.isWhitespace(c) && c != '\n');
+        }
+        catch(EndOfInput ignore)
+        {
+            return null;
+        }
 
-	StringBuffer buf = new StringBuffer();
+        StringBuffer buf = new StringBuffer();
 
-	if(c == ';' || c == '\n')
-	{
-	    buf.append(';');
-	}
-	else if(c == '\'')
-	{
-	    try
-	    {
-		while(true)
-		{
-		    c = get();
-		    if(c == '\'')
-		    {
-			break;
-		    }
-		    else
-		    {
-			buf.append(c);
-		    }
-		}
-	    }
-	    catch(EndOfInput e)
-	    {
-		_parser.warning("EOF in string");
-	    }
-	}
-	else if(c == '\"')
-	{
-	    try
-	    {
-		while(true)
-		{
-		    c = get();
-		    if(c == '\"')
-		    {
-			break;
-		    }
-		    else if(c == '\\')
-		    {
-			try
-			{
-			    char next = get();
-			    switch(next)
-			    {
-				case '\\':
-				case '"':
-				{
-				    buf.append(next);
-				    break;
-				}
-			    
-				case 'n':
-				{
-				    buf.append('\n');
-				    break;
-				}
-			    
-				case 'r':
-				{
-				    buf.append('\r');
-				    break;
-				}
-			    
-				case 't':
-				{
-				    buf.append('\t');
-				    break;
-				}
-			    
-				case 'f':
-				{
-				    buf.append('\f');
-				    break;
-				}
-			    
-				default:
-				{
-				    buf.append(c);
-				    unget(next);
-				}
-			    }
-			}
-			catch(EndOfInput e)
-			{
-			    buf.append(c);
-			}
-		    }
-		    else
-		    {
-			buf.append(c);
-		    }
-		}
-	    }
-	    catch(EndOfInput e)
-	    {
-		_parser.warning("EOF in string");
-	    }
-	}
-	else
-	{
-	    //
-	    // Otherwise it's a string.
-	    //
-	    try
-	    {
-		do
-		{
-		    buf.append(c);
-		    c = get();
-		}
-		while(!Character.isWhitespace(c) && c != ';' && c != '\n');
+        if(c == ';' || c == '\n')
+        {
+            buf.append(';');
+        }
+        else if(c == '\'')
+        {
+            try
+            {
+                while(true)
+                {
+                    c = get();
+                    if(c == '\'')
+                    {
+                        break;
+                    }
+                    else
+                    {
+                        buf.append(c);
+                    }
+                }
+            }
+            catch(EndOfInput e)
+            {
+                _parser.warning("EOF in string");
+            }
+        }
+        else if(c == '\"')
+        {
+            try
+            {
+                while(true)
+                {
+                    c = get();
+                    if(c == '\"')
+                    {
+                        break;
+                    }
+                    else if(c == '\\')
+                    {
+                        try
+                        {
+                            char next = get();
+                            switch(next)
+                            {
+                                case '\\':
+                                case '"':
+                                {
+                                    buf.append(next);
+                                    break;
+                                }
+                            
+                                case 'n':
+                                {
+                                    buf.append('\n');
+                                    break;
+                                }
+                            
+                                case 'r':
+                                {
+                                    buf.append('\r');
+                                    break;
+                                }
+                            
+                                case 't':
+                                {
+                                    buf.append('\t');
+                                    break;
+                                }
+                            
+                                case 'f':
+                                {
+                                    buf.append('\f');
+                                    break;
+                                }
+                            
+                                default:
+                                {
+                                    buf.append(c);
+                                    unget(next);
+                                }
+                            }
+                        }
+                        catch(EndOfInput e)
+                        {
+                            buf.append(c);
+                        }
+                    }
+                    else
+                    {
+                        buf.append(c);
+                    }
+                }
+            }
+            catch(EndOfInput e)
+            {
+                _parser.warning("EOF in string");
+            }
+        }
+        else
+        {
+            //
+            // Otherwise it's a string.
+            //
+            try
+            {
+                do
+                {
+                    buf.append(c);
+                    c = get();
+                }
+                while(!Character.isWhitespace(c) && c != ';' && c != '\n');
 
-		unget(c);
-	    }
-	    catch(EndOfInput ignore)
-	    {
-	    }
-	}
-	
-	return buf.toString();
+                unget(c);
+            }
+            catch(EndOfInput ignore)
+            {
+            }
+        }
+        
+        return buf.toString();
     }
 
     private Parser _parser;