root/doc_inner/gnu_global/S/434.html

/* [<][>][^][v][top][bottom][index][help] */ 
<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>doc_inner/doxygen/latex/comet2_8c_source.tex</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.6.14' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<a id='TOP' name='TOP'></a><h2 class='header'><a href='../mains.html'>root</a>/<a href='../files/2920.html'>doc_inner</a>/<a href='../files/2921.html'>doxygen</a>/<a href='../files/2922.html'>latex</a>/comet2_8c_source.tex</h2>
<em class='comment'>/* [&lt;][&gt;][^][v][top]<a href='#BOTTOM'>[bottom]</a><a href='../mains.html'>[index]</a><a href='../help.html'>[help]</a> */</em>
<hr />
<pre>
<a id='L1' name='L1'></a>\doxysection{comet2.\+c}
<a id='L2' name='L2'></a>\label{comet2_8c_source}\index{src/comet2.c@{src/comet2.c}}
<a id='L3' name='L3'></a>\textbf{ Go to the documentation of this file.}
<a id='L4' name='L4'></a>\begin{DoxyCode}{0}
<a id='L5' name='L5'></a>\DoxyCodeLine{00001\ \textcolor{preprocessor}{\#include\ "{}package.h"{}}}
<a id='L6' name='L6'></a>\DoxyCodeLine{00002\ \textcolor{preprocessor}{\#include\ "{}exec.h"{}}}
<a id='L7' name='L7'></a>\DoxyCodeLine{00003\ \textcolor{preprocessor}{\#include\ "{}load.h"{}}}
<a id='L8' name='L8'></a>\DoxyCodeLine{00004\ }
<a id='L9' name='L9'></a>\DoxyCodeLine{00008\ \textcolor{keyword}{static}\ \textcolor{keyword}{struct\ }option\ longopts[]\ =\ \{}
<a id='L10' name='L10'></a>\DoxyCodeLine{00009\ \ \ \ \ \{\textcolor{stringliteral}{"{}trace"{}},\ no\_argument,\ NULL,\ \textcolor{charliteral}{'t'}\},}
<a id='L11' name='L11'></a>\DoxyCodeLine{00010\ \ \ \ \ \{\textcolor{stringliteral}{"{}tracearithmetic"{}},\ no\_argument,\ NULL,\ \textcolor{charliteral}{'t'}\},}
<a id='L12' name='L12'></a>\DoxyCodeLine{00011\ \ \ \ \ \{\textcolor{stringliteral}{"{}tracelogical"{}},\ no\_argument,\ NULL,\ \textcolor{charliteral}{'T'}\},}
<a id='L13' name='L13'></a>\DoxyCodeLine{00012\ \ \ \ \ \{\textcolor{stringliteral}{"{}dump"{}},\ no\_argument,\ NULL,\ \textcolor{charliteral}{'d'}\},}
<a id='L14' name='L14'></a>\DoxyCodeLine{00013\ \ \ \ \ \{\textcolor{stringliteral}{"{}monitor"{}},\ no\_argument,\ NULL,\ \textcolor{charliteral}{'m'}\},}
<a id='L15' name='L15'></a>\DoxyCodeLine{00014\ \ \ \ \ \{\textcolor{stringliteral}{"{}memorysize"{}},\ required\_argument,\ NULL,\ \textcolor{charliteral}{'M'}\},}
<a id='L16' name='L16'></a>\DoxyCodeLine{00015\ \ \ \ \ \{\textcolor{stringliteral}{"{}clocks"{}},\ required\_argument,\ NULL,\ \textcolor{charliteral}{'C'}\},}
<a id='L17' name='L17'></a>\DoxyCodeLine{00016\ \ \ \ \ \{\textcolor{stringliteral}{"{}version"{}},\ no\_argument,\ NULL,\ \textcolor{charliteral}{'v'}\ \},}
<a id='L18' name='L18'></a>\DoxyCodeLine{00017\ \ \ \ \ \{\textcolor{stringliteral}{"{}help"{}},\ no\_argument,\ NULL,\ \textcolor{charliteral}{'h'}\},}
<a id='L19' name='L19'></a>\DoxyCodeLine{00018\ \ \ \ \ \{0,\ 0,\ 0,\ 0\},}
<a id='L20' name='L20'></a>\DoxyCodeLine{00019\ \};}
<a id='L21' name='L21'></a>\DoxyCodeLine{00020\ }
<a id='L22' name='L22'></a>\DoxyCodeLine{00021\ }
<a id='L23' name='L23'></a>\DoxyCodeLine{00030\ \textcolor{keywordtype}{int}\ main(\textcolor{keywordtype}{int}\ argc,\ \textcolor{keywordtype}{char}\ *argv[])}
<a id='L24' name='L24'></a>\DoxyCodeLine{00031\ \{}
<a id='L25' name='L25'></a>\DoxyCodeLine{00032\ \ \ \ \ \textcolor{keywordtype}{int}\ memsize\ =\ DEFAULT\_MEMSIZE;}
<a id='L26' name='L26'></a>\DoxyCodeLine{00033\ \ \ \ \ \textcolor{keywordtype}{int}\ clocks\ =\ DEFAULT\_CLOCKS;}
<a id='L27' name='L27'></a>\DoxyCodeLine{00034\ \ \ \ \ \textcolor{keywordtype}{int}\ opt\ =\ 0;}
<a id='L28' name='L28'></a>\DoxyCodeLine{00035\ \ \ \ \ \textcolor{keywordtype}{int}\ stat\ =\ 0;}
<a id='L29' name='L29'></a>\DoxyCodeLine{00036\ \ \ \ \ \textcolor{keyword}{const}\ \textcolor{keywordtype}{char}\ *version\ =\ PACKAGE\_VERSION;}
<a id='L30' name='L30'></a>\DoxyCodeLine{00037\ \ \ \ \ \textcolor{keyword}{const}\ \textcolor{keywordtype}{char}\ *cmdversion\ =\ \textcolor{stringliteral}{"{}comet2\ of\ YACASL2\ version\ \%s\(\backslash\)n"{}};}
<a id='L31' name='L31'></a>\DoxyCodeLine{00038\ \ \ \ \ \textcolor{keyword}{const}\ \textcolor{keywordtype}{char}\ *usage\ =\ \textcolor{stringliteral}{"{}Usage:\ \%s\ [-\/tTdmvh]\ [-\/M\ &lt;MEMORYSIZE&gt;]\ [-\/C\ &lt;CLOCKS&gt;]\ FILE\(\backslash\)n"{}};}
<a id='L32' name='L32'></a>\DoxyCodeLine{00039\ }
<a id='L33' name='L33'></a>\DoxyCodeLine{00040\ \ \ \ \ \textcolor{comment}{/*\ エラーの定義\ */}}
<a id='L34' name='L34'></a>\DoxyCodeLine{00041\ \ \ \ \ cerr\_init();}
<a id='L35' name='L35'></a>\DoxyCodeLine{00042\ \ \ \ \ addcerrlist\_load();}
<a id='L36' name='L36'></a>\DoxyCodeLine{00043\ \ \ \ \ addcerrlist\_exec();}
<a id='L37' name='L37'></a>\DoxyCodeLine{00044\ }
<a id='L38' name='L38'></a>\DoxyCodeLine{00045\ \ \ \ \ \textcolor{comment}{/*\ オプションの処理\ */}}
<a id='L39' name='L39'></a>\DoxyCodeLine{00046\ \ \ \ \ \textcolor{keywordflow}{while}((opt\ =\ getopt\_long(argc,\ argv,\ \textcolor{stringliteral}{"{}tTdmM:C:vh"{}},\ longopts,\ NULL))\ !=\ -\/1)\ \{}
<a id='L40' name='L40'></a>\DoxyCodeLine{00047\ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{switch}(opt)\ \{}
<a id='L41' name='L41'></a>\DoxyCodeLine{00048\ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{case}\ \textcolor{charliteral}{'t'}:}
<a id='L42' name='L42'></a>\DoxyCodeLine{00049\ \ \ \ \ \ \ \ \ \ \ \ \ execmode.trace\ =\ \textcolor{keyword}{true};}
<a id='L43' name='L43'></a>\DoxyCodeLine{00050\ \ \ \ \ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{break};}
<a id='L44' name='L44'></a>\DoxyCodeLine{00051\ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{case}\ \textcolor{charliteral}{'T'}:}
<a id='L45' name='L45'></a>\DoxyCodeLine{00052\ \ \ \ \ \ \ \ \ \ \ \ \ execmode.trace\ =\ \textcolor{keyword}{true};}
<a id='L46' name='L46'></a>\DoxyCodeLine{00053\ \ \ \ \ \ \ \ \ \ \ \ \ execmode.logical\ =\ \textcolor{keyword}{true};}
<a id='L47' name='L47'></a>\DoxyCodeLine{00054\ \ \ \ \ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{break};}
<a id='L48' name='L48'></a>\DoxyCodeLine{00055\ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{case}\ \textcolor{charliteral}{'d'}:}
<a id='L49' name='L49'></a>\DoxyCodeLine{00056\ \ \ \ \ \ \ \ \ \ \ \ \ execmode.dump\ =\ \textcolor{keyword}{true};}
<a id='L50' name='L50'></a>\DoxyCodeLine{00057\ \ \ \ \ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{break};}
<a id='L51' name='L51'></a>\DoxyCodeLine{00058\ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{case}\ \textcolor{charliteral}{'m'}:}
<a id='L52' name='L52'></a>\DoxyCodeLine{00059\ \ \ \ \ \ \ \ \ \ \ \ \ execmode.monitor\ =\ \textcolor{keyword}{true};}
<a id='L53' name='L53'></a>\DoxyCodeLine{00060\ \ \ \ \ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{break};}
<a id='L54' name='L54'></a>\DoxyCodeLine{00061\ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{case}\ \textcolor{charliteral}{'M'}:}
<a id='L55' name='L55'></a>\DoxyCodeLine{00062\ \ \ \ \ \ \ \ \ \ \ \ \ memsize\ =\ atoi(optarg);}
<a id='L56' name='L56'></a>\DoxyCodeLine{00063\ \ \ \ \ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{break};}
<a id='L57' name='L57'></a>\DoxyCodeLine{00064\ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{case}\ \textcolor{charliteral}{'C'}:}
<a id='L58' name='L58'></a>\DoxyCodeLine{00065\ \ \ \ \ \ \ \ \ \ \ \ \ clocks\ =\ atoi(optarg);}
<a id='L59' name='L59'></a>\DoxyCodeLine{00066\ \ \ \ \ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{break};}
<a id='L60' name='L60'></a>\DoxyCodeLine{00067\ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{case}\ \textcolor{charliteral}{'v'}:}
<a id='L61' name='L61'></a>\DoxyCodeLine{00068\ \ \ \ \ \ \ \ \ \ \ \ \ fprintf(stdout,\ cmdversion,\ version);}
<a id='L62' name='L62'></a>\DoxyCodeLine{00069\ \ \ \ \ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{goto}\ comet2fin;}
<a id='L63' name='L63'></a>\DoxyCodeLine{00070\ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{case}\ \textcolor{charliteral}{'h'}:}
<a id='L64' name='L64'></a>\DoxyCodeLine{00071\ \ \ \ \ \ \ \ \ \ \ \ \ fprintf(stdout,\ usage,\ argv[0]);}
<a id='L65' name='L65'></a>\DoxyCodeLine{00072\ \ \ \ \ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{goto}\ comet2fin;}
<a id='L66' name='L66'></a>\DoxyCodeLine{00073\ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{case}\ \textcolor{charliteral}{'?'}:}
<a id='L67' name='L67'></a>\DoxyCodeLine{00074\ \ \ \ \ \ \ \ \ \ \ \ \ fprintf(stderr,\ usage,\ argv[0]);}
<a id='L68' name='L68'></a>\DoxyCodeLine{00075\ \ \ \ \ \ \ \ \ \ \ \ \ setcerr(212,\ \textcolor{stringliteral}{"{}"{}});\ \ \ \ \textcolor{comment}{/*\ invalid\ option\ */}}
<a id='L69' name='L69'></a>\DoxyCodeLine{00076\ \ \ \ \ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{goto}\ comet2fin;}
<a id='L70' name='L70'></a>\DoxyCodeLine{00077\ \ \ \ \ \ \ \ \ \}}
<a id='L71' name='L71'></a>\DoxyCodeLine{00078\ \ \ \ \ \}}
<a id='L72' name='L72'></a>\DoxyCodeLine{00079\ \ \ \ \ \textcolor{keywordflow}{if}(argv[optind]\ ==\ NULL)\ \{}
<a id='L73' name='L73'></a>\DoxyCodeLine{00080\ \ \ \ \ \ \ \ \ setcerr(211,\ \textcolor{stringliteral}{"{}"{}});\ \ \ \ \textcolor{comment}{/*\ object\ file\ not\ specified\ */}}
<a id='L74' name='L74'></a>\DoxyCodeLine{00081\ \ \ \ \ \ \ \ \ fprintf(stderr,\ \textcolor{stringliteral}{"{}comet2\ error\ -\/\ \%d:\ \%s\(\backslash\)n"{}},\ cerr-\/&gt;num,\ cerr-\/&gt;msg);}
<a id='L75' name='L75'></a>\DoxyCodeLine{00082\ \ \ \ \ \ \ \ \ \textcolor{keywordflow}{goto}\ comet2fin;}
<a id='L76' name='L76'></a>\DoxyCodeLine{00083\ \ \ \ \ \}}
<a id='L77' name='L77'></a>\DoxyCodeLine{00084\ \ \ \ \ reset(memsize,\ clocks);\ \ \ \ \ \textcolor{comment}{/*\ COMET\ II仮想マシンのリセット\ */}}
<a id='L78' name='L78'></a>\DoxyCodeLine{00085\ \ \ \ \ execptr-\/&gt;start\ =\ 0;}
<a id='L79' name='L79'></a>\DoxyCodeLine{00086\ \ \ \ \ execptr-\/&gt;end\ =\ loadassemble(argv[optind],\ execptr-\/&gt;start);}
<a id='L80' name='L80'></a>\DoxyCodeLine{00087\ \ \ \ \ \textcolor{keywordflow}{if}(execptr-\/&gt;end\ &gt;\ 0\ \&amp;\&amp;\ cerr-\/&gt;num\ ==\ 0)\ \{}
<a id='L81' name='L81'></a>\DoxyCodeLine{00088\ \ \ \ \ \ \ \ \ exec();\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \textcolor{comment}{/*\ プログラム実行\ */}}
<a id='L82' name='L82'></a>\DoxyCodeLine{00089\ \ \ \ \ \}}
<a id='L83' name='L83'></a>\DoxyCodeLine{00090\ \ \ \ \ shutdown();\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \textcolor{comment}{/*\ COMET\ II仮想マシンのシャットダウン\ */}}
<a id='L84' name='L84'></a>\DoxyCodeLine{00091\ comet2fin:}
<a id='L85' name='L85'></a>\DoxyCodeLine{00092\ \ \ \ \ \textcolor{keywordflow}{if}(cerr-\/&gt;num\ &gt;\ 0)\ \{}
<a id='L86' name='L86'></a>\DoxyCodeLine{00093\ \ \ \ \ \ \ \ \ stat\ =\ 1;}
<a id='L87' name='L87'></a>\DoxyCodeLine{00094\ \ \ \ \ \}}
<a id='L88' name='L88'></a>\DoxyCodeLine{00095\ \ \ \ \ freecerr();\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \textcolor{comment}{/*\ エラーの解放\ */}}
<a id='L89' name='L89'></a>\DoxyCodeLine{00096\ \ \ \ \ \textcolor{keywordflow}{return}\ stat;}
<a id='L90' name='L90'></a>\DoxyCodeLine{00097\ \}}
<a id='L91' name='L91'></a>
<a id='L92' name='L92'></a>\end{DoxyCode}
</pre>
<hr />
<a id='BOTTOM' name='BOTTOM'></a>
<em class='comment'>/* [&lt;][&gt;][^][v]<a href='#TOP'>[top]</a>[bottom]<a href='../mains.html'>[index]</a><a href='../help.html'>[help]</a> */</em>
</body>
</html>
/* [<][>][^][v][top][bottom][index][help] */