Токенизация источника ассемблера SIC

Question

Я довольно много закончил кодирование SIC-ассемблера для моего класса системного программирования, но я в тупике на токенизирующей части.

Например, возьмем эту строку исходного кода:

формат (свободный формат) составляет: {ЗАГОЛОВОК} OPCODE {ОПЕРАНДА {Х}} {К.П}

Завитки указывают, что поле не является обязательным.

Кроме того, каждое поле должно быть разделено хотя бы одним пробелом или табуляцией.

ENDFIL  LDA  EOF   COMMENT GOES HERE 

Код, приведенный выше, немного проще организовать, но следующий фрагмент дает мне трудности.

 RSUB    COMMENT GOES HERE 

Мой код будет читать в первом слове комментария, как если бы это был ОПЕРAND.

Вот мой код:

//tokenize line 
    if(currentLine[0] != ' ' && currentLine[0] != '\t') 
    { 
     stringstream stream(currentLine); 
     stream >> LABEL; 
     stream >> OPCODE; 
     stream >> OPERAND; 
     stream.str(""); 


     if(LABEL.length() > 6 || isdigit(LABEL[0]) || !alphaNum(LABEL)) 
     { 
      errors[1] = 1; 
     } 
     else if(LABEL.length() == currentLine.length()) 
     { 
      justLabel = true; 
      errors[6] = 1; 
      return; 
     } 
    } 
    else 
    { 
     stringstream stream(currentLine); 
     stream >> OPCODE; 
     stream >> OPERAND; 
     stream.str(""); 
    } 

Мой профессор требует, чтобы ассемблер быть протестированы с двумя версиями исходного кода - один с ошибками и без.

RSUB OPCODE не зависит от OPERAND, поэтому я понимаю, что все после OPCODE RSUB можно рассматривать как комментарий, но если ошибочный исходный код содержит значение в поле OPERAND или если OPCODE, который зависит от OPERAND не имеет значения OPERAND, как я могу это компенсировать? Мне нужно отметить эти ошибки и распечатать ошибочное значение OPERAND (или его отсутствие).

Мой вопрос: Как предотвратить комментарий части кода, считающегося OPERAND?

Answer 1

В языке ассемблера (как и в других языках программирования), что я видел, есть ограничитель, который отмечает комментарий: например, точку с запятой перед комментарием:

ENDFIL LDA EOF ;COMMENT GOES HERE 
RSUB ;ANOTHER COMMENT GOES HERE 

В вашем синтаксисе однако, может вы указываете, является ли что-то комментарием по количеству пробелов, которое предшествует ему на линии, например из-за того, что между кодом операции и комментарием есть два (не только один) случайных события?

{LABEL}<whitespace>OPCODE<whitespace>{OPERAND{,X}}<whitespace>{COMMENT} 

Answer 2

Как вы можете определить, является ли текст в определенной строке операндом или комментарием? Это основано на контексте? Например, если OPCODE является «RSUB», вы бы знали, что OPERAND не требуется? После этого вы должны выполнить некоторую магию на операнде основе того, что OPCODE читается:

if (OPCODE == "RSUB") OPERAND.clear();